aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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
1999-05-27renamed proof-commands-regexp to proof-indent-commands-regexp, whichMakarius Wenzel
1999-05-27improved proof-segment-up-to to support proof-string-start-regexp,Makarius Wenzel
1999-05-27added proof-string-start-regexp, proof-string-end-regexp;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 23:47:41 +0000