aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2012-09-18Cleaning interface of Util.ppedrot
2012-09-17More cleaning on Utils and CList. Some parts of the code beingppedrot
2012-09-17More type-safe interface to Coq XML API.ppedrot
2012-09-15Some documentation and cleaning of CList and Util interfaces.ppedrot
2012-09-14As r15801: putting everything from Util.array_* to CArray.*.ppedrot
2012-09-14Added some tricky tail-rec versions of List functions to CListppedrot
2012-09-14Partial revert of Yann commit in order to use CLib.List when openingppedrot
2012-09-14Moving Utils.list_* to a proper CList module, which includes stdlibppedrot
2012-09-14This patch removes unused "open" (automatically generated fromregisgia
2012-09-14lib/Pp:regisgia
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-09-13Made Pp.std_ppcmds opaque.ppedrot
2012-09-10Moved Pp to CLib. In particular, Pp does not depend on CAMLP4/5ppedrot
2012-09-09When asked for a SearchAbout request, Coq now returns a more preciseppedrot
2012-08-24correct some ends of .mllib files (avoid a broken tolink.ml)letouzey
2012-08-23No more states/initial.coq, instead coqtop now requires Prelude.voletouzey
2012-08-08Updating headers.herbelin
2012-08-02Bigint: new functions of_int and to_int, 2nd arg of pow in intletouzey
2012-07-31Bigint: adds a missing -1 in hugo's last commit 15659letouzey
2012-07-30Bigint : better ensure canonicity of arrays of int blocksletouzey
2012-07-30Bigint: avoid dependency over Ppletouzey
2012-07-29Better fixing propagation of carry in sub_mult used for euclidianherbelin
2012-07-21Fixing unchecked overflow in sub_mult used for euclidian division overherbelin
2012-07-20Reductionops refactoringpboutill
2012-07-20Put Option in Clibpboutill
2012-07-12A new status Unsafe in Interface. Meant for commands such as Admitted.aspiwack
2012-07-10Adapting the IDE interface with the focussed display.ppedrot
2012-07-05Notation: a new annotation "compat 8.x" extending "only parsing"letouzey
2012-06-29Now CoqIDE separates answer and messages. This should hopefullyppedrot
2012-06-28Fixing info_auto / info_trivial display.ppedrot
2012-06-26Fixed string width printing in string_of_ppcmdsppedrot
2012-06-26Added a Deque module to CLib (to be used in CoqIDE).ppedrot
2012-06-23Documentation of pp.mlippedrot
2012-06-23Moving logging level to Interface.ppedrot
2012-06-22Fixing Camlp4 compilation (hopefully, preprocessing fixpoint reached...)ppedrot
2012-06-22Added an indirection with respect to Loc in Compat. As many [open Compat]ppedrot
2012-06-21Fixing #2825.ppedrot
2012-06-20Fixing bug #2809 (anomaly when printing a module with notations due toherbelin
2012-06-15Partialy revert "coq_makefile fixup" because old Makefiles still need CAMLP4BINpboutill
2012-06-14coq_makefile fixuppboutill
2012-06-12bug 2805: Only export CAMLP4LIB if camlp4 -where ends successfullypboutill
2012-06-07Colorization of coqtop messages is turned *off* by defaultletouzey
2012-06-04A box to pretty-print them all.ppedrot
2012-06-04Added a color output to Coqtop.ppedrot
2012-06-04Separated notice vs info messages, and cleaned up the interface a bit.ppedrot
2012-06-02Flushing formatters before program exit.ppedrot
2012-06-01More cleaningppedrot
2012-06-01Cleaning Pp.ppnl useppedrot
2012-06-01Getting rid of Pp.msgnl and Pp.message.ppedrot
2012-05-30Getting rid of Pp.msgppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 03:16:24 +0000