aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/serialize.mli
Commit message (Expand)AuthorAge
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Stm: smarter delegation policyGravatar Enrico Tassi2014-03-12
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* New option --help-XML-protocol to document the XML procol used by -ideslaveGravatar Enrico Tassi2013-11-27
* First stab at retrocompatible INTERP messageGravatar Enrico Tassi2013-11-27
* CoqIDE protocol/serialization revisedGravatar gareuselesinge2013-09-30
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Xml_datatype.mli ships the xml typeGravatar gareuselesinge2013-05-09
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* interface.mli and serialize.ml reworked to avoid copy/paste of typesGravatar gareuselesinge2013-04-19
* Serialize: no need anymore to export of_value / to_value in the mliGravatar letouzey2012-11-19
* More type-safe interface to Coq XML API.Gravatar ppedrot2012-09-17
* When asked for a SearchAbout request, Coq now returns a more preciseGravatar ppedrot2012-09-09
* Updating headers.Gravatar herbelin2012-08-08
* A new status Unsafe in Interface. Meant for commands such as Admitted.Gravatar aspiwack2012-07-12
* Now CoqIDE separates answer and messages. This should hopefullyGravatar ppedrot2012-06-29
* Added semantic completion in CoqIDE. (Should also add an option for that...)Gravatar ppedrot2012-05-13
* Added a SearchAbout-like primitive in coqtop interface.Gravatar ppedrot2012-05-13
* Added an interface primitive to ask coqtop for its internal versions.Gravatar ppedrot2012-05-13
* Added an interface call to exit Coqtop nicely.Gravatar ppedrot2012-05-02
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12