coq/checker/include, branch master The formal proof system Fixing typos - Part 1 2019-05-21T21:07:55+00:00 JPR 2019-05-21T21:07:55+00:00 e6322e23958a937fa01960f8ce320717b9863253 






[camlp5] Remove dependency on camlp5.
2018-11-21T16:15:28+00:00

Emilio Jesus Gallego Arias

2018-11-08T02:11:06+00:00

aa151dbc7aa501bac78b835a80f9a25c5316d2dc












Change references to CAMLP4 to CAMLP5 to be more accurate since we no
2018-02-17T20:03:51+00:00

Jim Fehrle

2018-01-22T20:45:49+00:00

b60906cc3ee3f994babf9cceff2971bd03485f2f

longer use camlp4.





longer use camlp4.







Remove uses of [Flags.make_silent]
2017-04-27T19:42:01+00:00

Gaetan Gilbert

2017-04-25T12:03:54+00:00

5eb09af1e3686d6ac518b9eafe7cfcebd2b16375












errors.ml renamed into cErrors.ml (avoid clash with an OCaml compiler-lib module)
2016-07-03T10:08:03+00:00

Pierre Letouzey

2016-06-27T09:03:43+00:00

f14b6f1a17652566f0cbc00ce81421ba0684dad5

 For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a





 For the moment, there is an Error module in compilers-lib/ocamlbytecomp.cm(x)a







updated include file for debugging
2015-01-06T14:32:12+00:00

Bruno Barras

2014-12-23T12:43:48+00:00

fb6bee00a1b52aecbdccc76bf3aa6edf6ed3df08












use List.rev_map whenever possible
2013-02-18T15:42:36+00:00

letouzey

2013-02-18T15:42:36+00:00

ddc9c1bd8e1eaae186468f093e467d8f2e1091cd

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16211 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16211 85f007b7-540e-0410-9357-904b9bb8a0f7







[checker] fixed vo validation problems, module incompatibilities remain
2010-02-19T10:43:17+00:00

barras

2010-02-19T10:43:17+00:00

62c6c0ccc1930a556eeeab9b7a2050929cd790f1

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12799 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12799 85f007b7-540e-0410-9357-904b9bb8a0f7







porting r11900 11905 and 11953 to trunk
2009-03-02T17:49:38+00:00

barras

2009-03-02T17:49:38+00:00

dc1f525d12219a43648c449f034fb319bc6c1e7a

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11954 85f007b7-540e-0410-9357-904b9bb8a0f7





git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11954 85f007b7-540e-0410-9357-904b9bb8a0f7