- 02 Nov, 2015 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 31 Oct, 2015 2 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 30 Oct, 2015 5 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 29 Oct, 2015 13 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.
-
POTTIER Francois authored
Updated myocamlbuild.ml to automatically add for-pack(MenhirLib) to the files listed in menhirLib.mlpack. This removes the need for explicitly listing these files in the file _tags.
-
- 28 Oct, 2015 6 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
Also, compile Menhir in $$TEMPDIR/$(PACKAGE), not $(PACKAGE).
-
POTTIER Francois authored
which needs it. This module still needs cleaning up.
-
- 27 Oct, 2015 11 commits
-
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
The beginning of a new section on error handling.
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
POTTIER Francois authored
-
- 26 Oct, 2015 1 commit
-
-
POTTIER Francois authored
-