Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Set version tag for new release. | 2011-08-24 | ||
| | ||||
* | Set version tag for new release. | 2011-08-23 | ||
| | ||||
* | Set version tag for new release. | 2011-06-22 | ||
| | ||||
* | Set version tag for new release. | 2011-06-22 | ||
| | ||||
* | Set version tag for new release. | 2011-06-10 | ||
| | ||||
* | Set version tag for new release. | 2011-06-10 | ||
| | ||||
* | Deleted file | 2011-06-10 | ||
| | ||||
* | Change linebreaks as Hendrik would like, not wiki formatted(!) | 2011-06-09 | ||
| | ||||
* | parsing check from Trac #410 | 2011-06-09 | ||
| | ||||
* | Set version tag for new release. | 2011-06-09 | ||
| | ||||
* | Set version tag for new release. | 2011-06-07 | ||
| | ||||
* | Record of bug report sent | 2011-06-06 | ||
| | ||||
* | *** empty log message *** | 2011-06-06 | ||
| | ||||
* | Set version tag for new release. | 2011-06-01 | ||
| | ||||
* | Set version tag for new release. | 2011-05-30 | ||
| | ||||
* | Set version tag for new release. | 2011-05-27 | ||
| | ||||
* | Set version tag for new release. | 2011-05-16 | ||
| | ||||
* | Set version tag for new release. | 2011-05-12 | ||
| | ||||
* | Set version tag for new release. | 2011-05-05 | ||
| | ||||
* | Set version tag for new release. | 2011-04-26 | ||
| | ||||
* | Set version tag for new release. | 2011-03-09 | ||
| | ||||
* | Set version tag for new release. | 2011-02-23 | ||
| | ||||
* | Set version tag for new release. | 2011-01-31 | ||
| | ||||
* | Note about declare-function | 2011-01-30 | ||
| | ||||
* | Remove semis | 2011-01-25 | ||
| | ||||
* | Set version tag for new release. | 2011-01-25 | ||
| | ||||
* | Set version tag for new release. | 2011-01-24 | ||
| | ||||
* | updated theory headers; | 2011-01-23 | ||
| | ||||
* | Set version tag for new release. | 2011-01-19 | ||
| | ||||
* | Set version tag for new release. | 2011-01-18 | ||
| | ||||
* | Set version tag for new release. | 2011-01-12 | ||
| | ||||
* | Set version tag for new release. | 2010-12-16 | ||
| | ||||
* | Updated | 2010-12-15 | ||
| | ||||
* | Set version tag for new release. | 2010-12-10 | ||
| | ||||
* | Set version tag for new release. | 2010-11-25 | ||
| | ||||
* | Address http://proofgeneral.inf.ed.ac.uk/trac/ticket/379 | 2010-11-09 | ||
| | ||||
* | Set version tag for new release. | 2010-11-03 | ||
| | ||||
* | Set version tag for new release. | 2010-10-11 | ||
| | ||||
* | Set version tag for new release. | 2010-10-11 | ||
| | ||||
* | Set version tag for new release. | 2010-10-10 | ||
| | ||||
* | Set version tag for new release. | 2010-10-10 | ||
| | ||||
* | Updated | 2010-10-10 | ||
| | ||||
* | Set version tag for new release. | 2010-10-10 | ||
| | ||||
* | Set version tag for new release. | 2010-10-04 | ||
| | ||||
* | Set version tag for new release. | 2010-10-01 | ||
| | ||||
* | Set version tag for new release. | 2010-09-29 | ||
| | ||||
* | Set version tag for new release. | 2010-09-27 | ||
| | ||||
* | Test case | 2010-09-27 | ||
| | ||||
* | *** empty log message *** | 2010-09-24 | ||
| | ||||
* | add notes | 2010-09-22 | ||
| |