Commits · d2e6c3d4e55dbfe9fa3c8be3386dc4b7efe4413a · POTTIER Francois / menhir

27 Aug, 2015 4 commits
- Fix a mistake in the documented signature of MenhirInterpreter. · d2e6c3d4
  POTTIER Francois authored Aug 27, 2015
  
  d2e6c3d4
- Eliminated some macros and fixed a spacing problem. · d7d59227
  POTTIER Francois authored Aug 27, 2015
  
  d7d59227
- Better documentation for the monolithic API. · 9ed30f63
  POTTIER Francois authored Aug 27, 2015
  
  9ed30f63
- Typo. · 956b2ed2
  POTTIER Francois authored Aug 27, 2015
  
  956b2ed2
20 Jul, 2015 1 commit
- Added the options --unused-token <token> and --unused-tokens. · ac83731e
  POTTIER Francois authored Jul 20, 2015
  
  ac83731e
06 Jul, 2015 1 commit
- Document. · 4093bc82
  Yann Régis-Gianas authored Jun 30, 2015
  
  4093bc82
01 May, 2015 1 commit
- Fixed a minor mistake in the documentation, · 7cb80ba6
  POTTIER Francois authored May 01, 2015
```
plus a comment on compatibility with ocamlyacc
when there are end-of-stream conflicts.
```
  7cb80ba6
15 Feb, 2015 1 commit
- Documentation for anonymous rules. · 3ab4ddb9
  POTTIER Francois authored Feb 15, 2015
  
  3ab4ddb9
11 Feb, 2015 1 commit
- More general syntax of actuals. · 081abe25
  POTTIER Francois authored Feb 11, 2015
```
Not useful in practice; preparation for further changes.
```
  081abe25
09 Feb, 2015 1 commit
- Moved obsolete Makefiles to demos/obsolete/. · 1fdf7526
  POTTIER Francois authored Feb 09, 2015
```
Documentation update.
```
  1fdf7526
19 Jan, 2015 1 commit
- Moved [Printers] and [ErrorReporting] into [MenhirLib]. · 3ca15e38
  POTTIER Francois authored Jan 19, 2015
  
  3ca15e38
18 Jan, 2015 1 commit
- Tiny doc update. · 464be7d3
  POTTIER Francois authored Jan 18, 2015
  
  464be7d3
14 Jan, 2015 2 commits
- Renamed the function [view] to [stack]. · 837b9b6d
  POTTIER Francois authored Jan 14, 2015
```
Defined the type [stack] as an abbreviation for [element stream].
```
  837b9b6d
- Distinguished the demos calc-incremental and calc-inspection. · 63bdcb85
  POTTIER Francois authored Jan 14, 2015
  
  63bdcb85
05 Jan, 2015 1 commit
- Doc: fixed the name of the theorem [Parser.unambiguous]. · 727969d5
  POTTIER Francois authored Jan 05, 2015
  
  727969d5
01 Jan, 2015 1 commit
- Renamed main_incremental to Incremental.main. · 2135285b
  POTTIER Francois authored Jan 01, 2015
```
This guarantees the absence of name clashes.
```
  2135285b
29 Dec, 2014 8 commits
- Updated the documentation of the incremental API. · 5083f4ed
  POTTIER Francois authored Dec 29, 2014
  
  5083f4ed
- Fixed an overfull hbox. · 95b93408
  POTTIER Francois authored Dec 29, 2014
  
  95b93408
- TODO item. · 8520f906
  POTTIER Francois authored Dec 29, 2014
  
  8520f906
- One-word clarification. · 6cac6f12
  POTTIER Francois authored Dec 29, 2014
  
  6cac6f12
- Added a link to CompCert's Parser.vy. · 29951767
  POTTIER Francois authored Dec 29, 2014
  
  29951767
- Bibliography update. No months. · 53d6057e
  POTTIER Francois authored Dec 29, 2014
```
Added links to CompCert's github repository.
```
  53d6057e
- Comment on extraction settings. · 7bd90f16
  POTTIER Francois authored Dec 29, 2014
  
  7bd90f16
- Reply to Jacques-Henri's comments. · f2651716
  POTTIER Francois authored Dec 29, 2014
```
Spell-checking.
```
  f2651716
22 Dec, 2014 3 commits
- Reactions aux commentaires de FP · 7bf66e89
  Jacques-Henri Jourdan authored Dec 22, 2014
  
  7bf66e89
- Completed the proof-reading of the "Coq back-end" section of the doc. · 765783d1
  POTTIER Francois authored Dec 22, 2014
  
  765783d1
- Proof-reading. · b44fd3ae
  POTTIER Francois authored Dec 22, 2014
  
  b44fd3ae
19 Dec, 2014 2 commits
- Some proof-reading. · 5247c2f5
  POTTIER Francois authored Dec 19, 2014
  
  5247c2f5
- Added a citation of CompCert. · 6b059d9c
  POTTIER Francois authored Dec 19, 2014
  
  6b059d9c
18 Dec, 2014 1 commit
- Added Jacques-Henri's documentation for the Coq back-end. · 4b46e509
  POTTIER Francois authored Dec 18, 2014
```
Not yet proof-read.
```
  4b46e509
15 Dec, 2014 2 commits
- A little addition in the manual. · 8dfc1e05
  POTTIER Francois authored Dec 15, 2014
  
  8dfc1e05
- Documented the incremental API. · 59b25b14
  POTTIER Francois authored Dec 15, 2014
  
  59b25b14
13 Dec, 2014 1 commit
- A Q&A about speed. · dcecdd3d
  POTTIER Francois authored Dec 13, 2014
  
  dcecdd3d
10 Dec, 2014 1 commit
- Manual update: a comment on GADTs in OCaml. · 528bf088
  POTTIER Francois authored Dec 10, 2014
  
  528bf088
02 Dec, 2014 2 commits
- Removed --error-recovery mode. · 7fe180b8
  POTTIER Francois authored Dec 02, 2014
  
  7fe180b8
- Removed support for the $previouserror keyword. · 586c30ec
  POTTIER Francois authored Dec 02, 2014
  
  586c30ec
02 Mar, 2013 2 commits

Simplified the documentation by switching from pstricks to TikZ. · 255324a1

fpottier authored Mar 02, 2013

Simplified the documentation's Makefile.
A few documentation changes.


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

255324a1

Added a new option --fixed-exception for better ocamlyacc compatibility. · 6a23aac9
fpottier authored Mar 02, 2013
```
git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@330 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7
```
6a23aac9

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