Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Add (almost) compatibility with camlp4, without breaking support for camlp5 | 2010-05-19 | |
* | static (and shared) camlp4use instead of per-file declaration | 2010-05-19 | |
* | Remove the svn-specific $Id$ annotations | 2010-04-29 | |
* | Add a generic tactic option builder. Use it in firstorder to set the | 2010-03-05 | |
* | Add [Next Obligation with tactic] support (wish #1953). | 2010-01-26 | |
* | - Show Obligation Tactic | 2010-01-14 | |
* | Support "Local Obligation Tactic" (now the default in sections). | 2010-01-11 | |
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | Stop using [obligation_tactic] from Program.Tactics as the default | 2009-09-15 | |
* | Hack to correctly get ill-formed rec body exceptions even | 2009-09-02 | |
* | Directory 'contrib' renamed into 'plugins', to end confusion with archive of ... | 2009-03-20 |