aboutsummaryrefslogtreecommitdiff
path: root/lib/serialize.ml
AgeCommit message (Expand)Author
2016-06-02Move ide serialization libraries from lib/ to ide/Emilio Jesus Gallego Arias
2016-01-21Merge branch 'v8.5'Pierre-Marie Pédrot
2016-01-20Update copyright headers.Maxime Dénès
2015-09-20Adding rich printing primitives.Pierre-Marie Pédrot
2015-01-12Update headers.Maxime Dénès
2014-06-25all coqide specific files moved into ide/Enrico Tassi
2014-05-01Fixing ml-doc.Pierre-Marie Pédrot
2014-04-10Have the feedback bus as a backend for dumping globs.Carst Tankink
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-03-05Remove some dead-code (thanks to ocaml warnings)Pierre Letouzey
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico Tassi
2014-01-30STM: tell the user if the master is recomputing states validated by workersEnrico Tassi
2013-12-24CoqIDE: new feedback "incomplete" to signal partial QedEnrico Tassi
2013-11-27Old message Interp returns the state id so that one can BackTo itEnrico Tassi
2013-11-27New option --help-XML-protocol to document the XML procol used by -ideslaveEnrico Tassi
2013-11-27First stab at retrocompatible INTERP messageEnrico Tassi
2013-11-02Adds a tactic give_up.aspiwack
2013-11-02Adds a shelve tactic.aspiwack
2013-10-22New feedback message: SlaveStatusgareuselesinge
2013-09-30CoqIDE protocol/serialization revisedgareuselesinge
2013-09-12CoqIDE: show number of proofs being checked in backgroundgareuselesinge
2013-08-28Removing some lone List.assoc & List.mem in lib.ppedrot
2013-08-19Modulification and removing of structural equality in Stateid.ppedrot
2013-08-08Coqide ported to STMgareuselesinge
2013-05-09Xml_datatype.mli ships the xml typegareuselesinge
2013-04-25Coqide: Globalization feedback (proof of concept)gareuselesinge
2013-04-25raise UnsafeSuccess -> feedback AddedAxiomgareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-25Fix indentationgareuselesinge
2013-04-19interface.mli and serialize.ml reworked to avoid copy/paste of typesgareuselesinge
2013-03-13Restrict (try...with...) to avoid catching critical exn (part 8)letouzey
2012-11-19Serialize: dead codeletouzey
2012-11-19Serialize: fix dyn-typing of GetOptions (oups), also adapt of_answerletouzey
2012-11-19Serialize.to_answer: dynamically check that answer & call correspondletouzey
2012-10-02Remove some more "open" and dead code thanks to OCaml4 warningsletouzey
2012-09-17More type-safe interface to Coq XML API.ppedrot
2012-09-14The new ocaml compiler (4.00) has a lot of very cool warnings,regisgia
2012-09-09When asked for a SearchAbout request, Coq now returns a more preciseppedrot
2012-08-08Updating headers.herbelin
2012-07-12A new status Unsafe in Interface. Meant for commands such as Admitted.aspiwack
2012-07-10Adapting the IDE interface with the focussed display.ppedrot
2012-06-29Now CoqIDE separates answer and messages. This should hopefullyppedrot
2012-05-13Added semantic completion in CoqIDE. (Should also add an option for that...)ppedrot
2012-05-13Added a SearchAbout-like primitive in coqtop interface.ppedrot
2012-05-13Added an interface primitive to ask coqtop for its internal versions.ppedrot
2012-05-11Slightly modified the coqtop interface by adding an identifier inppedrot
2012-05-02Added an interface call to exit Coqtop nicely.ppedrot
2012-04-12lib directory is cut in 2 cma.pboutill
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:51:21 +0000