aboutsummaryrefslogtreecommitdiffhomepage
path: root/coq/ex
Commit message (Expand)AuthorAge
* TypoGravatar David Aspinall2011-12-27
* Fixing the scripting of new subproof script parenthesizing ({ and }).Gravatar Pierre Courtieu2011-07-08
* Some more sample indentation patterns added.Gravatar Pierre Courtieu2011-07-01
* oops, undo last commit.Gravatar Pierre Courtieu2011-06-17
* Fix trac #410.Gravatar Pierre Courtieu2011-06-10
* Added one indentation example.Gravatar Pierre Courtieu2011-06-08
* Updated the old code for indentation, in case Stefan cannot finish theGravatar Pierre Courtieu2011-06-04
* - minor changes: clean personal todo list + adjust test case descriptionGravatar Hendrik Tews2011-05-20
* - add test coq/ex/test-cases/change-ancestor for theGravatar Hendrik Tews2011-05-12
* - adjust coq-ask-insert-coq-prog-name and doc in coq-local-vars-docGravatar Hendrik Tews2011-02-28
* - fix problem descriptionGravatar Hendrik Tews2011-01-26
* - use time-less-pGravatar Hendrik Tews2011-01-21
* - fixed stale load path problem with killing the proof shell inGravatar Hendrik Tews2011-01-18
* fix problems in test casesGravatar Hendrik Tews2011-01-17
* - more coq test cases (some with surprising and embarrassing bugs)Gravatar Hendrik Tews2011-01-14
* - move proof-no-fully-processed-buffer to generic/proof-configGravatar Hendrik Tews2011-01-14
* Fixed small bugs in indentation.Gravatar Pierre Courtieu2010-09-09
* illustrating the wrongness of the current multifile processing for coq.Gravatar Pierre Courtieu2010-09-08
* Added three files for testing multi file scripting.Gravatar Pierre Courtieu2010-09-08
* Moved filesGravatar David Aspinall2010-08-15
* Renamed fileGravatar David Aspinall2010-08-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 05:00:56 +0000