aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2013-03-21Removing mandatory suffixes for library files.ppedrot
2013-03-17Checker: simplify a bit its exception handlerletouzey
2013-03-14Embedded exns in LtacLocated and EvaluatedError satisfy Errors.noncriticalletouzey
2013-03-13Made the backtrace type opaqueppedrot
2013-03-13Vernac+Toplevel: get rid of Error_in_fileletouzey
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 13)letouzey
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 8)letouzey
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 5)letouzey
2013-03-12Restrict (try...with...) to avoid catching critical exn (part 4)letouzey
2013-03-12invalid_arg instead of raise (Invalid_argement ...)letouzey
2013-03-12New function Errors.noncritical for restricting try ... with ...letouzey
2013-03-12Updated Exninfo to the new Store type.ppedrot
2013-03-12Allowing different types of, not to be mixed, generic Stores throughppedrot
2013-03-05More monomorphization.ppedrot
2013-03-05Missing primitive in CArrayppedrot
2013-02-24New -no-native-compiler flag for configure, globally disabling the nativemdenes
2013-02-18Removing Exc_located and using the new exception enrichementppedrot
2013-02-18Adding more primitives to Exninfoppedrot
2013-02-18Updating the backtrace handling mechanism to accomodate the newppedrot
2013-02-18Added exception enrichment. Now one can define additional arbitraryppedrot
2013-02-01v8.4: Granting bug/wish #2976 (turning anomaly on input_value into nice message)herbelin
2013-01-28Actually adding backtrace handling.ppedrot
2013-01-28Added backtrace primitives.ppedrot
2013-01-28Uniformization of the "anomaly" command.ppedrot
2013-01-28Added backtrace information to anomaliesppedrot
2013-01-22New implementation of the conversion test, using normalization by evaluation tomdenes
2013-01-12Envar: in w32, add .exe when searching for caml binariesletouzey
2012-12-19Array.create is deprecatedpboutill
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 14:31:36 +0000