aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/decl_mode/decl_mode.mli
Commit message (Expand)AuthorAge
* Update copyright headers.Gravatar Maxime Dénès2016-01-20
* Declarative mode: plug the specialised printers back.Gravatar Arnaud Spiwack2015-03-31
* Declarative mode: remove dead code.Gravatar Arnaud Spiwack2015-03-13
* Update headers.Gravatar Maxime Dénès2015-01-12
* Remove many superfluous 'open' indicated by ocamlc -w +33Gravatar Pierre Letouzey2014-03-05
* State Transaction MachineGravatar gareuselesinge2013-08-08
* Restrict (try...with...) to avoid catching critical exn (part 5)Gravatar letouzey2013-03-13
* Allowing different types of, not to be mixed, generic Stores throughGravatar ppedrot2013-03-12
* Modulification of identifierGravatar ppedrot2012-12-14
* Updating headers.Gravatar herbelin2012-08-08
* Started to fix the declarative proof mode (C-zar).Gravatar aspiwack2011-02-10
* Updated all headers for 8.3 and trunkGravatar herbelin2010-07-24
* Remove the svn-specific $Id$ annotationsGravatar letouzey2010-04-29
* Here comes the commit, announced long ago, of the new tactic engine.Gravatar aspiwack2010-04-22