From 8710a2c274348fa99fe6def1bcedcb6f91e51950 Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Thu, 26 Nov 2015 18:16:45 +0100 Subject: [PATCH 1/3] README in MarkDown --- README | 6 ------ README.md | 6 ++++++ 2 files changed, 6 insertions(+), 6 deletions(-) delete mode 100644 README create mode 100644 README.md diff --git a/README b/README deleted file mode 100644 index 61f041e..0000000 --- a/README +++ /dev/null @@ -1,6 +0,0 @@ -http://corn.cs.ru.nl/ automatically links to these files. - -You can test this site locally using - - jekyll --server - diff --git a/README.md b/README.md new file mode 100644 index 0000000..a57e496 --- /dev/null +++ b/README.md @@ -0,0 +1,6 @@ +# CoRN website +http://corn.cs.ru.nl/ automatically links to these files. + +You can test this site locally using: + + jekyll --server From 374c56c78d52c5bb9232b4662d2ebb4388692b73 Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Thu, 26 Nov 2015 18:26:46 +0100 Subject: [PATCH 2/3] OPAM instructions --- index.html | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/index.html b/index.html index 4bfba9d..f1f7d83 100644 --- a/index.html +++ b/index.html @@ -16,7 +16,7 @@

Coq Repository at Nijmegen

-

+

The CoRN library has very roughly been developed in the following stages, chronologically:

  • Fundamental Theorem of Algebra and the algebraic hierarchy. (Geuvers, Pollack, Wiedijk and Zwanenburg)
    • @@ -37,8 +37,14 @@

    Coq Repository at Nijmegen

    See the publications section for a longer description.
    -
    - [Publications] +

    Install with OPAM

    +

    Make sure that you added the Coq repository:

    +
    opam repo add coq-released https://coq.inria.fr/opam/released
    +

    and run:

    +
    opam install coq-corn
    + +
    + [Publications] [Sources] [Contact] From 9e341152d48f03fc6bc53513ecc3a513dd4bed7c Mon Sep 17 00:00:00 2001 From: Guillaume Claret Date: Thu, 26 Nov 2015 18:27:01 +0100 Subject: [PATCH 3/3] Gitignore added --- .gitignore | 1 + 1 file changed, 1 insertion(+) create mode 100644 .gitignore diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..57510a2 --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +_site/