aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Added a more efficient way to recover the domain of a map.Gravatar ppedrot2013-08-25
* Misc changes around coqtop.ml :Gravatar letouzey2013-08-22
* More complete hashcons : lists (dirpath), arrays (constr)Gravatar letouzey2013-08-22
* Change in vo format : digest aren't Marshalled anymoreGravatar letouzey2013-08-22
* Universe counters on slaves are in sync with masterGravatar gareuselesinge2013-08-20
* Modulification and removing of structural equality in Stateid.Gravatar ppedrot2013-08-19
* Modulification and removing of structural equality in VCS.Gravatar ppedrot2013-08-19
* Fixing potentially misused Errors.push.Gravatar ppedrot2013-08-12
* Printing any backtrace in debug mode, not only anomalies.Gravatar ppedrot2013-08-10
* Small typosGravatar ppedrot2013-08-10
* checker validation fixed w.r.t. FuturesGravatar gareuselesinge2013-08-09
* state_id data typeGravatar gareuselesinge2013-08-09
* stm: (initial) support for -coq-slavesGravatar gareuselesinge2013-08-08
* Simple machinery to detect EXTEND that interpret during parsingGravatar gareuselesinge2013-08-08
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* State Transaction MachineGravatar gareuselesinge2013-08-08
* Vcs data structure (Git inspired builder for Dag)Gravatar gareuselesinge2013-08-08
* Dag data structureGravatar gareuselesinge2013-08-08
* Searchable stack data structureGravatar gareuselesinge2013-08-08
* Future library to represent pure computationsGravatar gareuselesinge2013-08-08
* Small fix in IStream interface.Gravatar ppedrot2013-08-08
* Added more flags choice in desambiguating printer. The code isGravatar ppedrot2013-08-06
* Small cleaning of printing coercion failures in Ltac interpretation.Gravatar ppedrot2013-08-04
* Removing SortArgType.Gravatar ppedrot2013-07-05
* Expurgating the useless difference between List0 and List1 at theGravatar ppedrot2013-07-05
* Using functors to reduce the boilerplate used in registeringGravatar ppedrot2013-06-30
* Getting rid of IntroPatternArgType.Gravatar ppedrot2013-06-27
* Splitted up Genarg in four different levels:Gravatar ppedrot2013-06-21
* Changing the type of Ltac values. Now they are toplevel genericGravatar ppedrot2013-06-12
* Flags V8_4 for compatibility infrastructure.Gravatar herbelin2013-06-02
* More clever implemenation for IStream.Gravatar ppedrot2013-05-29
* Setting "appcontext" as the default behaviour in Ltac matching.Gravatar ppedrot2013-05-28
* Adding a persistent stream data structure.Gravatar ppedrot2013-05-28
* Fixing #3042Gravatar ppedrot2013-05-23
* Fixing Pp.strbrk which was reversing words.Gravatar ppedrot2013-05-16
* std_ppcmds is persistent, errors can be printed twiceGravatar gareuselesinge2013-05-16
* Gmap is now useless, hail to Map!Gravatar ppedrot2013-05-14
* Removing Fmap from libraries, it is not used anymore.Gravatar ppedrot2013-05-14
* Removing Fset, since it is not used anymore.Gravatar ppedrot2013-05-12
* Removing the use of Fset/Fmap from Trie. There was actually onlyGravatar ppedrot2013-05-12
* Added a generic notion of hook. Hooks are functions to be setGravatar ppedrot2013-05-12
* Documenting the Tries module, uniformizing the names according toGravatar ppedrot2013-05-09
* Getting rid of module Gmapl.Gravatar ppedrot2013-05-09
* Xml_datatype.mli ships the xml typeGravatar gareuselesinge2013-05-09
* Uniformizing the [if_warn] flag used for warning printing and putGravatar ppedrot2013-05-08
* Fixing ocamldoc compilation.Gravatar ppedrot2013-05-06
* New module Xml_printer (dual to Xml_parser)Gravatar gareuselesinge2013-05-06
* Now printing body of abbreviations (i.e. notation with a name) withGravatar herbelin2013-05-05
* Coqide: Globalization feedback (proof of concept)Gravatar gareuselesinge2013-04-25
* Flag ide_slave moved into Flags moduleGravatar gareuselesinge2013-04-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 03:11:00 +0000