aboutsummaryrefslogtreecommitdiff
path: root/lib/interface.mli
AgeCommit message (Expand)Author
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
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-06-23Moving logging level to Interface.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 15:44:51 +0000