add webpage

dangtv · Aug 17, 2018 · 4ac9a51 · 4ac9a51
1 parent a88507f
commit 4ac9a51
Show file tree

Hide file tree

Showing 80 changed files with 6,179 additions and 3 deletions.
diff --git a/.merlin b/.merlin
@@ -1,3 +1,3 @@
 S src
 B bin
-PKG postgresql
+PKG str
diff --git a/README.md b/README.md
@@ -1,5 +1,7 @@
 # Bidirectional programing for view updating in relational database system
 
+More detail at: [https://dangtv.github.io/BIRDS/](https://dangtv.github.io/BIRDS/)
+
 ## Datalog enviroment: Installation, Configuration and Usage
 
 * datalog program: *.dl
@@ -13,8 +15,6 @@
     * [ocaml](https://ocaml.org/docs/install.html#Ubuntu)
     * ocamlyacc: opam install ocamlyacc
     * ocamllex: opam install ocamllex
-    * PostgreSQL
-    * postgresql-ocaml (>=2.0.1): opam install postgresql
     * findlib (>= 1.3.1)
     * GNU Make
 

diff --git a/docs/another-page.html b/docs/another-page.html
@@ -0,0 +1,64 @@
+<!doctype html>
+<html lang="en-US">
+  <head>
+    <meta charset="utf-8">
+    <meta http-equiv="X-UA-Compatible" content="IE=edge">
+
+<!-- Begin Jekyll SEO tag v2.5.0 -->
+<meta name="generator" content="Jekyll v3.8.3" />
+<meta property="og:locale" content="en_US" />
+<script type="application/ld+json">
+{"@type":"WebPage","url":"/another-page.html","@context":"http://schema.org"}</script>
+<!-- End Jekyll SEO tag -->
+
+    <link rel="stylesheet" href="assets/css/style.css?v=">
+    <script src="https://code.jquery.com/jquery-3.3.0.min.js" integrity="sha256-RTQy8VOmNlT6b2PIRur37p6JEBZUE7o8wPgMvu18MC4=" crossorigin="anonymous"></script>
+    <script src="assets/js/main.js"></script>
+    <!--[if lt IE 9]>
+      <script src="https://cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js" integrity="sha256-3Jy/GbSLrg0o9y5Z5n1uw0qxZECH7C6OQpVBgNFYa0g=" crossorigin="anonymous"></script>
+    <![endif]-->
+    <meta name="viewport" content="width=device-width, initial-scale=1, user-scalable=no">
+
+  </head>
+  <body>
+
+      <header>
+        <h1>BIRDS</h1>
+        <p style="margin-top:0.2em">Putback-based <b>BI</b>directional transformation for <b>R</b>elational view update <b>D</b>atalog-based <b>S</b>trategies</p>
+        <a href="https://github.com/dangtv/BIRDS" class="button fork">View On GitHub</a>
+
+
+        <a href="#" class="button fork">Download for Macos</a>
+        <a href="#" class="button fork">Download for Ubuntu</a>
+
+      </header>
+
+      <!-- <div id="banner">
+        <span id="logo"></span>
+
+        <a href="https://github.com/dangtv/BIRDS" class="button fork"><strong>View On GitHub</strong></a>
+        
+      </div> -->
+      <!-- end banner -->
+
+    <div class="wrapper">
+      <nav>
+        <ul></ul>
+      </nav>
+      <section>
+        <h2 id="welcome-to-another-page">Welcome to another page</h2>
+
+
+
+      </section>
+      <footer>
+
+          <p style="margin-bottom:0em"><small>Maintained by <a href="https://dangtv.github.io">Vandang Tran</a></small></p>
+
+        <p style="margin-bottom:0em"><small>Theme based on <a href="https://github.com/pages-themes/leap-day">leap-day</a></small></p>
+      </footer>
+    </div>
+
+
+  </body>
+</html>