aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-09-23Set version tag for new release.David Aspinall
2000-09-23UpdatedDavid Aspinall
2000-09-23Update date.David Aspinall
2000-09-23proof-display-some-buffers moves point to end of output in response buffer.David Aspinall
2000-09-23Forthcoming news itemDavid Aspinall
2000-09-23Use prover-specific logos rather than generic ones...David Aspinall
2000-09-23Changed size of imageDavid Aspinall
2000-09-23MinorDavid Aspinall
2000-09-23Removed:David Aspinall
2000-09-23Add prover-specific logo rather than generic ones...David Aspinall
2000-09-23Image of the general with ??? badgeDavid Aspinall
2000-09-23Add Pierre's tweakDavid Aspinall
2000-09-23Standard poor X-Symbol support for twelf.David Aspinall
2000-09-23Changes: (actually in previous version)David Aspinall
2000-09-23Deleted fileDavid Aspinall
2000-09-23proof-display-some-buffers improved: toggles between goals and response inDavid Aspinall
2000-09-23Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...David Aspinall
2000-09-23Always activate bug fix -- this file only loaded for FSF Emacs.David Aspinall
2000-09-23Make toolbar enablers work appropriately from non-scripting buffersDavid Aspinall
2000-09-23Call (proof-toolbar-setup) to add toolbar to goals and response bufferDavid Aspinall
2000-09-23Deleted fileDavid Aspinall
2000-09-23Remove require on proof-dependsDavid Aspinall
2000-09-23Update commentsDavid Aspinall
2000-09-23UpdatedDavid Aspinall
2000-09-23Improved(?) goto buttonDavid Aspinall
2000-09-23Remove obsolete xbmsDavid Aspinall
2000-09-23Remove xbm'sDavid Aspinall
2000-09-21Slightly shorter name for info dir entry.David Aspinall
2000-09-21Set version tag for new release.David Aspinall
2000-09-21Fix globbing some more.David Aspinall
2000-09-21Fix for rpm braindead globbing.David Aspinall
2000-09-21Fix infodir entry, it got broken somehow.David Aspinall
2000-09-21Add PG-adapting to info files.David Aspinall
2000-09-21tweak 'x-symbol-image-converter to avoid confusing warning;Makarius Wenzel
2000-09-21use plain /bin/sh instead of bash;Makarius Wenzel
2000-09-21Added Prefixes: tagDavid Aspinall
2000-09-21Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ...David Aspinall
2000-09-21Make PG-adapting first so index.html left pointing to main manualDavid Aspinall
2000-09-21added Isabelle symbols for parendblleft/parendblright glyphs (will beMakarius Wenzel
2000-09-21Newlines.David Aspinall
2000-09-21Tweaked abort buttonDavid Aspinall
2000-09-21Improved adding more lisp code chapter.David Aspinall
2000-09-21Changed ChangeLog target to use rcs2log directly. Added developer's details,...David Aspinall
2000-09-21Removed blurry distinction between block-comment and comment in FSF's buffer-...David Aspinall
2000-09-21** D support proof-next-error?Makarius Wenzel
2000-09-21tuned comment;Makarius Wenzel
2000-09-21bug2: Resolved as of 17.9.00;Makarius Wenzel
2000-09-21fixed "Dagstuhl";Makarius Wenzel
2000-09-21done: exit isar;Makarius Wenzel
2000-09-20added -X option;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 05:24:49 +0000