Commits · f67f5e4cb3553859a2494aaab0d58a4d4ac68bff · POTTIER Francois / menhir

29 Oct, 2015 4 commits
- Silent sub-make. · f67f5e4c
  POTTIER Francois authored Oct 29, 2015
  
  f67f5e4c
- Removed the GODI entry from GNUmakefile. · f332547a
  POTTIER Francois authored Oct 29, 2015
  
  f332547a
- Updated GNUmakefile to no longer list all components of MenhirLib explicitly. · 108a3ada
  POTTIER Francois authored Oct 29, 2015
  
  108a3ada
- For the modules in MenhirLib, adopt the convention that the first letter of... · 93094320
  POTTIER Francois authored Oct 29, 2015
```
For the modules in MenhirLib, adopt the convention that the first letter of the file name must be capitalized.
```
  93094320
28 Oct, 2015 1 commit
- Update [make check] to make sure that the demos can be built. · ccb00f18
  POTTIER Francois authored Oct 28, 2015
```
Also, compile Menhir in $$TEMPDIR/$(PACKAGE), not $(PACKAGE).
```
  ccb00f18
20 Oct, 2015 1 commit
- Added [make local] for local installation of the development version. · 1e34d32c
  POTTIER Francois authored Oct 20, 2015
  
  1e34d32c
19 Oct, 2015 2 commits
- Update GNUmakefile to include .messages file in the tar archive. · a583ad8f
  POTTIER Francois authored Oct 19, 2015
  
  a583ad8f
- Removed [ErrorReporting], which now contains only fairly experimental stuff. · 5f5f18e5
  POTTIER Francois authored Oct 19, 2015
  
  5f5f18e5
21 Sep, 2015 1 commit
- Disable the Nazi warnings when shipping. · 09c47895
  POTTIER Francois authored Sep 21, 2015
```
So we have a better chance of success if new warnings appear.
```
  09c47895
14 Sep, 2015 1 commit
- Added an entry in GNUmakefile to update the opam package. · a1307125
  POTTIER Francois authored Sep 14, 2015
  
  a1307125
27 Aug, 2015 1 commit
- Export general.ml.html. · de38ef42
  POTTIER Francois authored Aug 27, 2015
  
  de38ef42
01 May, 2015 1 commit
- Typo. · 6c51991a
  POTTIER Francois authored May 01, 2015
  
  6c51991a
19 Jan, 2015 1 commit
- Moved [Printers] and [ErrorReporting] into [MenhirLib]. · 3ca15e38
  POTTIER Francois authored Jan 19, 2015
  
  3ca15e38
18 Jan, 2015 1 commit
- Moved the list and stream functions to a new module [MenhirLib.General]. · 894ed838
  POTTIER Francois authored Jan 18, 2015
  
  894ed838
16 Jan, 2015 1 commit
- Avoid including .gitignore files in the distributed .tar.gz archive. · 5ec4b21b
  POTTIER Francois authored Jan 16, 2015
  
  5ec4b21b
08 Jan, 2015 2 commits
- Split off [InspectionTableFormat] and [InspectionTableInterpreter]. · 13988a4f
  POTTIER Francois authored Jan 08, 2015
```
This might allow the ocaml compiler to not link these modules when
--inspection is off.
```
  13988a4f
- Added LinearizedArray to MenhirLib. · ed989285
  POTTIER Francois authored Jan 08, 2015
  
  ed989285
15 Dec, 2014 1 commit
- Updated the Makefiles to create and export IncrementalEngine.ml.html. · 374ded7d
  POTTIER Francois authored Dec 15, 2014
  
  374ded7d
10 Dec, 2014 1 commit
- Defined the signature INCREMENTAL_ENGINE in a new file · c8e27c19
  POTTIER Francois authored Dec 10, 2014
```
IncrementalEngine, so as to reduce confusion and allow
including this file in the documentation.
```
  c8e27c19
28 Apr, 2014 1 commit

Minor changes to GNUmakefile. · 854e39b7

fpottier authored Apr 28, 2014

Automatically set DATE only if not externally set already.
Remove -B option to scp (allows interactive mode).
Support GODI release 4.01 (although not clear if it officially exists).

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@360 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

854e39b7

02 Mar, 2013 2 commits

More minor tweaks. Added Jacques-Henri to AUTHORS. · 7551eba0

fpottier authored Mar 02, 2013

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@339 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

7551eba0

More Makefile adjustments. · 7244cb30

fpottier authored Mar 02, 2013

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@333 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

7244cb30

01 Mar, 2013 1 commit

Copying everything to a new trunk directory. · 8e9b54a3

fpottier authored Mar 01, 2013


git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@320 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

8e9b54a3