aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2015-12-21Finer-grained types for toplevel values.Pierre-Marie Pédrot
2015-12-21Removing ad-hoc interpretation rules for tactic notations and their genarg.Pierre-Marie Pédrot
2015-12-21Sharing toplevel representation for several generic types.Pierre-Marie Pédrot
2015-12-21Removing the now useless genarg generic argument.Pierre-Marie Pédrot
2015-12-21Using dynamic values in tactic evaluation.Pierre-Marie Pédrot
2015-12-21Attaching a dynamic argument to the toplevel type of generic arguments.Pierre-Marie Pédrot
2015-12-21Trust the directory cache in batch mode.Guillaume Melquiond
2015-12-18COMMENTS: added to the "Unicode" module.Matej Kosik
2015-12-18COMMENTS: updated in the "Option" module.Matej Kosik
2015-12-18COMMENTS: added to the "Predicate" moduleMatej Kosik
2015-12-17Getting rid of some hardwired generic arguments.Pierre-Marie Pédrot
2015-12-14Adding compatibility flag for 8.5.Hugo Herbelin
2015-12-14Remove some occurrences of Unix.opendir.Guillaume Melquiond
2015-12-12Removing dead unsafe code in Genarg.Pierre-Marie Pédrot
2015-12-11Merge branch 'v8.5'Pierre-Marie Pédrot
2015-12-10Fixing compilation with OCaml 3.12 after commit 9d45d45f3a87 on removingHugo Herbelin
2015-12-09Remove remaining occurrences of Unix.readdir.Guillaume Melquiond
2015-12-09Replace Unix.readdir by Sys.readdir in dir cache.Emilio Jesus Gallego Arias
2015-12-05Factorizing unsafe code by relying on the new Dyn module.Pierre-Marie Pédrot
2015-12-05Leveraging GADTs to provide a better Dyn API.Pierre-Marie Pédrot
2015-12-04Specializing the Dyn module to each usecase.Pierre-Marie Pédrot
2015-11-26Merge branch 'v8.5'Pierre-Marie Pédrot
2015-11-25Fix for case-insensitive path looking continued (#2554): Adding aHugo Herbelin
2015-11-25Generalizing the patch to bug #2554 on fixing path looking withHugo Herbelin
2015-10-19Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-19Fixed #4274, bad formatting of messages in emacs mode.Pierre Courtieu
2015-10-18Miscellaneous typos, spacing, US spelling in comments or variable names.Hugo Herbelin
2015-10-15Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-14Fix some typos.Guillaume Melquiond
2015-10-13Fix some typos.Guillaume Melquiond
2015-10-09Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-08aux_file: export API to ease writing of a Proof Using annotator.Enrico Tassi
2015-10-08CThread: blocking read + threads now worksEnrico Tassi
2015-10-08Spawn: use each socket exclusively for writing or readingEnrico Tassi
2015-10-08Future: make not-here/not-ready messages customizableEnrico Tassi
2015-10-02Merge branch 'v8.5'Pierre-Marie Pédrot
2015-10-02emacs output mode: Added <infomsg> tag to debug messages.Pierre Courtieu
2015-09-29Make the interface of System.raw_extern_intern much saner.Guillaume Melquiond
2015-09-29Prevent States.intern_state and System.extern_intern from looking up files in...Guillaume Melquiond
2015-09-25Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-20Rich printing of messages.Pierre-Marie Pédrot
2015-09-20Adding rich printing primitives.Pierre-Marie Pédrot
2015-09-20Revert "On MacOS X, ensuring that files found in the file system have the"Maxime Dénès
2015-09-13Merge branch 'v8.5'Pierre-Marie Pédrot
2015-09-10Fixing previous patch.Pierre-Marie Pédrot
2015-09-10Fixing the XML lexer definition of names to match the standard.Pierre-Marie Pédrot
2015-08-22Merge branch 'v8.5'Pierre-Marie Pédrot
2015-08-15Revert the four previous commits and update the description of Richpp.Pierre-Marie Pédrot
2015-08-15More invariants in Richpp.Pierre-Marie Pédrot
2015-08-15More parametric type for generalized XML.Pierre-Marie Pédrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 07:19:56 +0000