index
:
coq
master
the Coq proof assistant
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
serialize.ml
Commit message (
Expand
)
Author
Age
*
Modulification and removing of structural equality in Stateid.
ppedrot
2013-08-19
*
Coqide ported to STM
gareuselesinge
2013-08-08
*
Xml_datatype.mli ships the xml type
gareuselesinge
2013-05-09
*
Coqide: Globalization feedback (proof of concept)
gareuselesinge
2013-04-25
*
raise UnsafeSuccess -> feedback AddedAxiom
gareuselesinge
2013-04-25
*
Coqide: new feedback mechanism for structured content
gareuselesinge
2013-04-25
*
Fix indentation
gareuselesinge
2013-04-25
*
interface.mli and serialize.ml reworked to avoid copy/paste of types
gareuselesinge
2013-04-19
*
Restrict (try...with...) to avoid catching critical exn (part 8)
letouzey
2013-03-13
*
Serialize: dead code
letouzey
2012-11-19
*
Serialize: fix dyn-typing of GetOptions (oups), also adapt of_answer
letouzey
2012-11-19
*
Serialize.to_answer: dynamically check that answer & call correspond
letouzey
2012-11-19
*
Remove some more "open" and dead code thanks to OCaml4 warnings
letouzey
2012-10-02
*
More type-safe interface to Coq XML API.
ppedrot
2012-09-17
*
The new ocaml compiler (4.00) has a lot of very cool warnings,
regisgia
2012-09-14
*
When asked for a SearchAbout request, Coq now returns a more precise
ppedrot
2012-09-09
*
Updating headers.
herbelin
2012-08-08
*
A new status Unsafe in Interface. Meant for commands such as Admitted.
aspiwack
2012-07-12
*
Adapting the IDE interface with the focussed display.
ppedrot
2012-07-10
*
Now CoqIDE separates answer and messages. This should hopefully
ppedrot
2012-06-29
*
Added semantic completion in CoqIDE. (Should also add an option for that...)
ppedrot
2012-05-13
*
Added a SearchAbout-like primitive in coqtop interface.
ppedrot
2012-05-13
*
Added an interface primitive to ask coqtop for its internal versions.
ppedrot
2012-05-13
*
Slightly modified the coqtop interface by adding an identifier in
ppedrot
2012-05-11
*
Added an interface call to exit Coqtop nicely.
ppedrot
2012-05-02
*
lib directory is cut in 2 cma.
pboutill
2012-04-12