aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib/serialize.ml
Commit message (Expand)AuthorAge
* Update headers.Gravatar Maxime Dénès2015-01-12
* all coqide specific files moved into ide/Gravatar Enrico Tassi2014-06-25
* Fixing ml-doc.Gravatar Pierre-Marie Pédrot2014-05-01
* Have the feedback bus as a backend for dumping globs.Gravatar Carst Tankink2014-04-10
* Stm: smarter delegation policyGravatar Enrico Tassi2014-03-12
* Remove some dead-code (thanks to ocaml warnings)Gravatar Pierre Letouzey2014-03-05
* STM + CoqIDE: stop_worker message and UIGravatar Enrico Tassi2014-01-30
* STM: tell the user if the master is recomputing states validated by workersGravatar Enrico Tassi2014-01-30
* CoqIDE: new feedback "incomplete" to signal partial QedGravatar Enrico Tassi2013-12-24
* Old message Interp returns the state id so that one can BackTo itGravatar Enrico Tassi2013-11-27
* 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
* Adds a tactic give_up.Gravatar aspiwack2013-11-02
* Adds a shelve tactic.Gravatar aspiwack2013-11-02
* New feedback message: SlaveStatusGravatar gareuselesinge2013-10-22
* CoqIDE protocol/serialization revisedGravatar gareuselesinge2013-09-30
* CoqIDE: show number of proofs being checked in backgroundGravatar gareuselesinge2013-09-12
* Removing some lone List.assoc & List.mem in lib.Gravatar ppedrot2013-08-28
* Modulification and removing of structural equality in Stateid.Gravatar ppedrot2013-08-19
* Coqide ported to STMGravatar gareuselesinge2013-08-08
* Xml_datatype.mli ships the xml typeGravatar gareuselesinge2013-05-09
* Coqide: Globalization feedback (proof of concept)Gravatar gareuselesinge2013-04-25
* raise UnsafeSuccess -> feedback AddedAxiomGravatar gareuselesinge2013-04-25
* Coqide: new feedback mechanism for structured contentGravatar gareuselesinge2013-04-25
* Fix indentationGravatar gareuselesinge2013-04-25
* interface.mli and serialize.ml reworked to avoid copy/paste of typesGravatar gareuselesinge2013-04-19
* Restrict (try...with...) to avoid catching critical exn (part 8)Gravatar letouzey2013-03-13
* Serialize: dead codeGravatar letouzey2012-11-19
* Serialize: fix dyn-typing of GetOptions (oups), also adapt of_answerGravatar letouzey2012-11-19
* Serialize.to_answer: dynamically check that answer & call correspondGravatar letouzey2012-11-19
* Remove some more "open" and dead code thanks to OCaml4 warningsGravatar letouzey2012-10-02
* More type-safe interface to Coq XML API.Gravatar ppedrot2012-09-17
* The new ocaml compiler (4.00) has a lot of very cool warnings,Gravatar regisgia2012-09-14
* 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
* Adapting the IDE interface with the focussed display.Gravatar ppedrot2012-07-10
* 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
* Slightly modified the coqtop interface by adding an identifier inGravatar ppedrot2012-05-11
* Added an interface call to exit Coqtop nicely.Gravatar ppedrot2012-05-02
* lib directory is cut in 2 cma.Gravatar pboutill2012-04-12