aboutsummaryrefslogtreecommitdiff
path: root/etc/coq
AgeCommit message (Expand)Author
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2012-08-27Illustrat Trac #447David Aspinall
2011-06-09Change linebreaks as Hendrik would like, not wiki formatted(!)David Aspinall
2011-06-09parsing check from Trac #410David Aspinall
2010-09-08Add simple clear test for multiple files without requireDavid Aspinall
2010-09-06Update for current Coq syntaxDavid Aspinall
2009-09-17*** empty log message ***David Aspinall
2008-02-17New files.David Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...David Aspinall
2008-01-24Deleted fileDavid Aspinall
2007-12-13New files.David Aspinall
2007-12-13Renamed fileDavid Aspinall
2007-12-09Patch for buggy derived.el in XEmacs 21.5.b28David Aspinall
2007-12-08New files.David Aspinall
2007-09-17New files.David Aspinall
2007-05-25Updated.David Aspinall
2007-05-25New files.David Aspinall
2004-04-24Update test filesDavid Aspinall
2004-04-22New files.David Aspinall
2004-04-14New files.David Aspinall
2004-02-29Test cases for Coq indentation.David Aspinall
2003-02-05New files.David Aspinall
2002-09-11Deleted files.David Aspinall
2002-09-11New files.David Aspinall
2002-09-11Add comment at endDavid Aspinall
2002-08-30New files.David Aspinall
2002-07-18Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.David Aspinall
2002-07-18Record bug as solved.David Aspinall
2002-07-18New files.David Aspinall
2002-06-19Add nested section example to increase the horror.David Aspinall
2002-06-19Added End for sections, and silly testDavid Aspinall
2002-06-18Added some non-undoable tacticsDavid Aspinall
2002-06-18Added some sectionsDavid Aspinall
2002-06-18FixDavid Aspinall
2002-06-18Add more declarationsDavid Aspinall
2002-06-12More test cases, summary of situation.David Aspinall
2002-06-12Note of another bugDavid Aspinall
2002-06-12Add test t4 for extra depth of nestingDavid Aspinall
2002-06-11Replace with example from PierreDavid Aspinall
2002-06-11New files.David Aspinall
2001-08-31ExplanationDavid Aspinall
2000-12-14*** empty log message ***David Aspinall
2000-12-14Updated to use Require commandsDavid Aspinall
1999-11-08Updated multiple file notes.David Aspinall
1999-10-25Trivial tests for auto multiple files.David Aspinall
1999-10-06Test for Unnamed_thm.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:53:31 +0000