aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* More accurate timings for "Time foo"Gravatar letouzey2012-10-05
* Moved Compat to parsing. This permits to break the dependency of theGravatar ppedrot2012-10-04
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* Reusing the Hashset data structure in Hashcons. Hopefully, this shouldGravatar ppedrot2012-09-26
* Cleaning, renaming obscure functions and documenting in Hashcons.Gravatar ppedrot2012-09-26
* Fixing ocamldoc errorsGravatar ppedrot2012-09-25
* More cleaning in CArray...Gravatar ppedrot2012-09-18
* More cleanup of Util: utf8 aspects moved to a new file unicode.mlGravatar letouzey2012-09-18
* Cleaning interface of Util.Gravatar ppedrot2012-09-18
* More cleaning on Utils and CList. Some parts of the code beingGravatar ppedrot2012-09-17
* More type-safe interface to Coq XML API.Gravatar ppedrot2012-09-17
* Some documentation and cleaning of CList and Util interfaces.Gravatar ppedrot2012-09-15
* As r15801: putting everything from Util.array_* to CArray.*.Gravatar ppedrot2012-09-14
* Added some tricky tail-rec versions of List functions to CListGravatar ppedrot2012-09-14
* Partial revert of Yann commit in order to use CLib.List when openingGravatar ppedrot2012-09-14
* Moving Utils.list_* to a proper CList module, which includes stdlibGravatar ppedrot2012-09-14
* This patch removes unused "open" (automatically generated fromGravatar regisgia2012-09-14
* lib/Pp:Gravatar regisgia2012-09-14
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* Made Pp.std_ppcmds opaque.Gravatar ppedrot2012-09-13
* Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5Gravatar ppedrot2012-09-10
* When asked for a SearchAbout request, Coq now returns a more preciseGravatar ppedrot2012-09-09
* correct some ends of .mllib files (avoid a broken tolink.ml)Gravatar letouzey2012-08-24
* No more states/initial.coq, instead coqtop now requires Prelude.voGravatar letouzey2012-08-23
* Updating headers.Gravatar herbelin2012-08-08
* Bigint: new functions of_int and to_int, 2nd arg of pow in intGravatar letouzey2012-08-02
* Bigint: adds a missing -1 in hugo's last commit 15659Gravatar letouzey2012-07-31
* Bigint : better ensure canonicity of arrays of int blocksGravatar letouzey2012-07-30
* Bigint: avoid dependency over PpGravatar letouzey2012-07-30
* Better fixing propagation of carry in sub_mult used for euclidianGravatar herbelin2012-07-29
* Fixing unchecked overflow in sub_mult used for euclidian division overGravatar herbelin2012-07-21
* Reductionops refactoringGravatar pboutill2012-07-20
* Put Option in ClibGravatar pboutill2012-07-20
* A new status Unsafe in Interface. Meant for commands such as Admitted.Gravatar aspiwack2012-07-12
* Adapting the IDE interface with the focussed display.Gravatar ppedrot2012-07-10
* Notation: a new annotation "compat 8.x" extending "only parsing"Gravatar letouzey2012-07-05
* Now CoqIDE separates answer and messages. This should hopefullyGravatar ppedrot2012-06-29
* Fixing info_auto / info_trivial display.Gravatar ppedrot2012-06-28
* Fixed string width printing in string_of_ppcmdsGravatar ppedrot2012-06-26
* Added a Deque module to CLib (to be used in CoqIDE).Gravatar ppedrot2012-06-26
* Documentation of pp.mliGravatar ppedrot2012-06-23
* Moving logging level to Interface.Gravatar ppedrot2012-06-23
* Fixing Camlp4 compilation (hopefully, preprocessing fixpoint reached...)Gravatar ppedrot2012-06-22
* Added an indirection with respect to Loc in Compat. As many [open Compat]Gravatar ppedrot2012-06-22
* Fixing #2825.Gravatar ppedrot2012-06-21
* Fixing bug #2809 (anomaly when printing a module with notations due toGravatar herbelin2012-06-20
* Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BINGravatar pboutill2012-06-15
* coq_makefile fixupGravatar pboutill2012-06-14
* bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfullyGravatar pboutill2012-06-12
* Colorization of coqtop messages is turned *off* by defaultGravatar letouzey2012-06-07