aboutsummaryrefslogtreecommitdiff
path: root/lib/serialize.mli
AgeCommit message (Expand)Author
2014-03-12Stm: smarter delegation policyEnrico Tassi
2014-01-30STM + CoqIDE: stop_worker message and UIEnrico 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-09-30CoqIDE protocol/serialization revisedgareuselesinge
2013-08-08Coqide ported to STMgareuselesinge
2013-05-09Xml_datatype.mli ships the xml typegareuselesinge
2013-04-25Coqide: new feedback mechanism for structured contentgareuselesinge
2013-04-19interface.mli and serialize.ml reworked to avoid copy/paste of typesgareuselesinge
2012-11-19Serialize: no need anymore to export of_value / to_value in the mliletouzey
2012-09-17More type-safe interface to Coq XML API.ppedrot
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-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-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-02-01 11:04:31 +0000