Commit 9c24bfa9 authored by POTTIER Francois's avatar POTTIER Francois

Added a LICENSE.

parent 2e5c99d4
This diff is collapsed.
...@@ -2,10 +2,6 @@ ...@@ -2,10 +2,6 @@
TODO (REALLY) TODO (REALLY)
Hunt TEMPORARY.
Document everything.
Show to: Show to:
François Bobot, Virgile Prevosto. François Bobot, Virgile Prevosto.
Andrei Paskevich, Jean-Christophe Filliâtre. Andrei Paskevich, Jean-Christophe Filliâtre.
...@@ -15,10 +11,10 @@ Show to: ...@@ -15,10 +11,10 @@ Show to:
Thibaut Balabonski. Thibaut Balabonski.
Yann Régis-Gianas. Yann Régis-Gianas.
Add a LICENSE.
Create an opam package. Dependency on 4.03. Note @@unboxed requires 4.04. Create an opam package. Dependency on 4.03. Note @@unboxed requires 4.04.
Dependencies on other packages for tests: hashcons, core_bench... Dependencies on other packages for tests: hashcons, core_bench...
Run these tests only if these packages are installed, warn otherwise? Run these tests only if these packages are installed, warn otherwise?
Announce. Announce.
------------------------------------------------------------------------------ ------------------------------------------------------------------------------
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment