Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Illustrat Trac #447 | 2012-08-27 | |
* | Change linebreaks as Hendrik would like, not wiki formatted(!) | 2011-06-09 | |
* | parsing check from Trac #410 | 2011-06-09 | |
* | Add simple clear test for multiple files without require | 2010-09-08 | |
* | Update for current Coq syntax | 2010-09-06 | |
* | *** empty log message *** | 2009-09-17 | |
* | New files. | 2008-02-17 | |
* | Updated. | 2008-01-25 | |
* | Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t... | 2008-01-25 | |
* | Deleted file | 2008-01-24 | |
* | New files. | 2007-12-13 | |
* | Renamed file | 2007-12-13 | |
* | Patch for buggy derived.el in XEmacs 21.5.b28 | 2007-12-09 | |
* | New files. | 2007-12-08 | |
* | New files. | 2007-09-17 | |
* | Updated. | 2007-05-25 | |
* | New files. | 2007-05-25 | |
* | Update test files | 2004-04-24 | |
* | New files. | 2004-04-22 | |
* | New files. | 2004-04-14 | |
* | Test cases for Coq indentation. | 2004-02-29 | |
* | New files. | 2003-02-05 | |
* | Deleted files. | 2002-09-11 | |
* | New files. | 2002-09-11 | |
* | Add comment at end | 2002-09-11 | |
* | New files. | 2002-08-30 | |
* | Investigation of proof-zap-commas failure in GNU Emacs; comments, no results. | 2002-07-18 | |
* | Record bug as solved. | 2002-07-18 | |
* | New files. | 2002-07-18 | |
* | Add nested section example to increase the horror. | 2002-06-19 | |
* | Added End for sections, and silly test | 2002-06-19 | |
* | Added some non-undoable tactics | 2002-06-18 | |
* | Added some sections | 2002-06-18 | |
* | Fix | 2002-06-18 | |
* | Add more declarations | 2002-06-18 | |
* | More test cases, summary of situation. | 2002-06-12 | |
* | Note of another bug | 2002-06-12 | |
* | Add test t4 for extra depth of nesting | 2002-06-12 | |
* | Replace with example from Pierre | 2002-06-11 | |
* | New files. | 2002-06-11 | |
* | Explanation | 2001-08-31 | |
* | *** empty log message *** | 2000-12-14 | |
* | Updated to use Require commands | 2000-12-14 | |
* | Updated multiple file notes. | 1999-11-08 | |
* | Trivial tests for auto multiple files. | 1999-10-25 | |
* | Test for Unnamed_thm. | 1999-10-06 |