aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2013-08-09checker validation fixed w.r.t. Futuresgareuselesinge
2013-08-09state_id data typegareuselesinge
2013-08-08stm: (initial) support for -coq-slavesgareuselesinge
2013-08-08Simple machinery to detect EXTEND that interpret during parsinggareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-08-08State Transaction Machinegareuselesinge
2013-08-08Vcs data structure (Git inspired builder for Dag)gareuselesinge
2013-08-08Dag data structuregareuselesinge
2013-08-08Searchable stack data structuregareuselesinge
2013-08-08Future library to represent pure computationsgareuselesinge
2013-08-08Small fix in IStream interface.ppedrot
2013-08-06Added more flags choice in desambiguating printer. The code isppedrot
2013-08-04Small cleaning of printing coercion failures in Ltac interpretation.ppedrot
2013-07-05Removing SortArgType.ppedrot
2013-07-05Expurgating the useless difference between List0 and List1 at theppedrot
2013-06-30Using functors to reduce the boilerplate used in registeringppedrot
2013-06-27Getting rid of IntroPatternArgType.ppedrot
2013-06-21Splitted up Genarg in four different levels:ppedrot
2013-06-12Changing the type of Ltac values. Now they are toplevel genericppedrot
2013-06-02Flags V8_4 for compatibility infrastructure.herbelin
2013-05-29More clever implemenation for IStream.ppedrot
2013-05-28Setting "appcontext" as the default behaviour in Ltac matching.ppedrot
2013-05-28Adding a persistent stream data structure.ppedrot
2013-05-23Fixing #3042ppedrot
2013-05-16Fixing Pp.strbrk which was reversing words.ppedrot
2013-05-16std_ppcmds is persistent, errors can be printed twicegareuselesinge
2013-05-14Gmap is now useless, hail to Map!ppedrot
2013-05-14Removing Fmap from libraries, it is not used anymore.ppedrot
2013-05-12Removing Fset, since it is not used anymore.ppedrot
2013-05-12Removing the use of Fset/Fmap from Trie. There was actually onlyppedrot
2013-05-12Added a generic notion of hook. Hooks are functions to be setppedrot
2013-05-09Documenting the Tries module, uniformizing the names according toppedrot
2013-05-09Getting rid of module Gmapl.ppedrot
2013-05-09Xml_datatype.mli ships the xml typegareuselesinge
2013-05-08Uniformizing the [if_warn] flag used for warning printing and putppedrot
2013-05-06Fixing ocamldoc compilation.ppedrot
2013-05-06New module Xml_printer (dual to Xml_parser)gareuselesinge
2013-05-05Now printing body of abbreviations (i.e. notation with a name) withherbelin
2013-04-25Coqide: Globalization feedback (proof of concept)gareuselesinge
2013-04-25Flag ide_slave moved into Flags modulegareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-25Fix indentationgareuselesinge
2013-04-23Remove deprecated option -no-hash-consing (currently doing nothing)letouzey
2013-04-19interface.mli and serialize.ml reworked to avoid copy/paste of typesgareuselesinge
2013-04-16More in IArrayppedrot
2013-04-15votour: a small tool for guided tours of .voletouzey
2013-04-15More functional implementation of locality_flag and program_modegareuselesinge
2013-04-09Added a module of immutable arrays. Not as full as CArray, but shouldppedrot
2013-03-23Minor code cleaning in CArray / CList.ppedrot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 06:41:05 +0000