aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-09-11Deleted files.David Aspinall
2002-09-11New files.David Aspinall
2002-09-11Adjust comment about selecting PG/Isar.David Aspinall
2002-09-11Remove comment about selecting PG/Isar.David Aspinall
2002-09-11Shorten mode names. Comment about parsing prob.David Aspinall
2002-09-11Source of parsing problem discovered and explained.David Aspinall
2002-09-11Tweak html markupDavid Aspinall
2002-09-11Clarify in development supportDavid Aspinall
2002-09-11Add comment at endDavid Aspinall
2002-09-11Update version number, reorg.David Aspinall
2002-09-11Check on context menu doesn't seem useful.David Aspinall
2002-09-11Updated.David Aspinall
2002-09-11Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments.David Aspinall
2002-09-11Add :visible support. Minor reorganisation.David Aspinall
2002-09-11Support for new proof-shrink-windows-tofit option.David Aspinall
2002-09-11Begin support for thms bufferDavid Aspinall
2002-09-11Add proof-shrink-windows-tofit option.David Aspinall
2002-09-11Emulate :visible keywordDavid Aspinall
2002-09-11Missing parenDavid Aspinall
2002-09-11Updated.David Aspinall
2002-09-04Docstrings, setting for thms bufferDavid Aspinall
2002-09-04Begin adding code for thms bufferDavid Aspinall
2002-09-04Add proof-thms-bufferDavid Aspinall
2002-09-04only hack proof-info-directory if it exists (doesnt for RPM version)David Aspinall
2002-09-04generic/proof-menu: move electric terminator, show specific; Help menu items ...David Aspinall
2002-09-04New files.David Aspinall
2002-09-04don't use -q argument to emacsDavid Aspinall
2002-08-31Fix typo.David Aspinall
2002-08-31Fix typo.David Aspinall
2002-08-31Updated.David Aspinall
2002-08-31Set version tag for new release.David Aspinall
2002-08-31Documentation.David Aspinall
2002-08-31Doc new proof-zap-commasDavid Aspinall
2002-08-31Add -q to emacsDavid Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ...David Aspinall
2002-08-31Updated.David Aspinall
2002-08-31Updated.David Aspinall
2002-08-31Test inhibit-read-onlyDavid Aspinall
2002-08-31CommentsDavid Aspinall
2002-08-31Try to reduce contrast for highlighting faceDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30GNU Emacs: avoid using own-clipboardDavid Aspinall
2002-08-30Use old parser still for Isar for time being (see note in source)David Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Tidy displayDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Switch to using new parser by default. Disable fly-past-comments by default.David Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Set version tag for new release.David Aspinall
2002-08-30New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 02:08:55 +0000