aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
1999-06-24Added ChangeLog to dist area.proofgen
1999-06-24Updates for new web pages, todo list.David Aspinall
1999-06-24Support for version 3 browsers added.David Aspinall
1999-06-24Deleted files.David Aspinall
1999-06-24New imageDavid Aspinall
1999-06-24Style sheet.David Aspinall
1999-06-24Notes about web pagesDavid Aspinall
1999-06-24New web pagesDavid Aspinall
1999-06-24.phtml insteadDavid Aspinall
1999-06-24New imagesDavid Aspinall
1999-06-24Ignore fileDavid Aspinall
1999-06-24Updates and new imagesDavid Aspinall
1999-06-24Deleted files.David Aspinall
1999-06-24Change of imageDavid Aspinall
1999-06-24Replaces .eps fileDavid Aspinall
1999-06-24UpdatesDavid Aspinall
1999-06-24Deleted files.David Aspinall
1999-06-21Hints ResolvePatrick Loiseleur
1999-06-21unkillable buffer bugfixPatrick Loiseleur
1999-06-18New front page image. Updated magic.David Aspinall
1999-06-18DocstringDavid Aspinall
1999-06-18tactics-name-facePatrick Loiseleur
1999-06-16better syntaxPatrick Loiseleur
1999-06-15Removed proof shell kill bugDavid Aspinall
1999-06-15List of authors/maintainers.David Aspinall
1999-06-15Docstring fixes.David Aspinall
1999-06-15Fixes for XEmacs 21.1David Aspinall
1999-06-14Bugfixes in proof-shell-exit and proof-shell-kill-functionPatrick Loiseleur
1999-06-14Added proof-tactics-name-facePatrick Loiseleur
1999-06-14Added coq-begin-Section and coq-end-SectionPatrick Loiseleur
1999-06-14Various updates. coq-end-Section now works properly.Patrick Loiseleur
1999-06-09More colors, more regexps, more keywordsPatrick Loiseleur
1999-06-08various fixesPatrick Loiseleur
1999-06-08*** empty log message ***Patrick Loiseleur
1999-06-07Dont include plastic/isar in main distribution.David Aspinall
1999-06-07Mention Plastic and IsarDavid Aspinall
1999-06-07Patched patch for updated proof-site.elDavid Aspinall
1999-06-07Added todo for XEmacs packaging, reordered.David Aspinall
1999-06-07Patched patch for updated proof-site.elDavid Aspinall
1999-06-07CommentsDavid Aspinall
1999-06-07Cleaned up docstringsDavid Aspinall
1999-06-07Set version tag for new release.proofgen
1999-06-07Downrated Poly/ML related item since Poly is defunct.David Aspinall
1999-06-04updated;Makarius Wenzel
1999-05-27oops;Makarius Wenzel
1999-05-27removed junk;Makarius Wenzel
1999-05-27provide proof-string-start-regexp, proof-string-end-regexp;Makarius Wenzel
renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing); improved undo / kill operations; tweaked syntax table to cope with (* *) (actual comment) and {* *} (long string);
1999-05-27renamed undos to undos_proof;Makarius Wenzel
1999-05-27be chatty;Makarius Wenzel
1999-05-27proof-parse-to-point improved to support proof-string-start-regexp,Makarius Wenzel
proof-string-end-regexp, proof-comment-end, proof-comment-start, and parentheses according to current syntax table; renamed proof-commands-regexp to proof-indent-commands-regexp, which is less confusing);
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-08 22:24:47 +0000