aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2012-12-19Fix coqtop -config when absolute path have been given for ocaml*pboutill
2012-12-14Moving hcons_string to String namespace.ppedrot
2012-12-14Moved Stringset and Stringmap to String namespace.ppedrot
2012-12-14Moved Intset and Intmap to Int namespace.ppedrot
2012-12-13Documented CString.ppedrot
2012-12-13Renamed Option.Misc.compare to the more uniform Option.equal.ppedrot
2012-12-08Ensure that a function declared with a label is used with itletouzey
2012-12-08Removed a unused function in Ppppedrot
2012-12-07Envars: repair failed compilation after yann's commitsletouzey
2012-12-07* lib/Envars:regisgia
2012-12-07* lib/Envars:regisgia
2012-11-25More equality functionsppedrot
2012-11-22Monomorphization (lib)ppedrot
2012-11-20Cleaning and small optimization in CList.ppedrot
2012-11-19Serialize: no need anymore to export of_value / to_value in the mliletouzey
2012-11-19Serialize: dead codeletouzey
2012-11-19Serialize: fix dyn-typing of GetOptions (oups), also adapt of_answerletouzey
2012-11-19Serialize.to_answer: dynamically check that answer & call correspondletouzey
2012-11-13Small uniformization in Stringppedrot
2012-11-13More monomorphizationsppedrot
2012-11-13Added a CString module.ppedrot
2012-11-12Xml_parser: detect immediate EOF + disable check_eof by defaultletouzey
2012-11-08Monomorphized a lot of equalities over OCaml integers, thanks toppedrot
2012-11-08Added an Int module with dummy utility functions.ppedrot
2012-10-29Removed many calls to OCaml generic equality. This was done byppedrot
2012-10-17Using weak tables instead of plain hash tables while hashconsing.ppedrot
2012-10-06avoid using rectypes in dnet.mlletouzey
2012-10-05More accurate timings for "Time foo"letouzey
2012-10-04Moved Compat to parsing. This permits to break the dependency of theppedrot
2012-10-02Remove some more "open" and dead code thanks to OCaml4 warningsletouzey
2012-09-26Reusing the Hashset data structure in Hashcons. Hopefully, this shouldppedrot
2012-09-26Cleaning, renaming obscure functions and documenting in Hashcons.ppedrot
2012-09-25Fixing ocamldoc errorsppedrot
2012-09-18More cleaning in CArray...ppedrot
2012-09-18More cleanup of Util: utf8 aspects moved to a new file unicode.mlletouzey
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-03 08:42:39 +0000