aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Deleted fileGravatar David Aspinall2000-09-23
* proof-display-some-buffers improved: toggles between goals and response inGravatar David Aspinall2000-09-23
* Fix proof-display-and-keep-buffer for displaying from non-script buffer. Add...Gravatar David Aspinall2000-09-23
* Always activate bug fix -- this file only loaded for FSF Emacs.Gravatar David Aspinall2000-09-23
* Make toolbar enablers work appropriately from non-scripting buffersGravatar David Aspinall2000-09-23
* Call (proof-toolbar-setup) to add toolbar to goals and response bufferGravatar David Aspinall2000-09-23
* Deleted fileGravatar David Aspinall2000-09-23
* Remove require on proof-dependsGravatar David Aspinall2000-09-23
* Update commentsGravatar David Aspinall2000-09-23
* UpdatedGravatar David Aspinall2000-09-23
* Improved(?) goto buttonGravatar David Aspinall2000-09-23
* Remove obsolete xbmsGravatar David Aspinall2000-09-23
* Remove xbm'sGravatar David Aspinall2000-09-23
* Slightly shorter name for info dir entry.Gravatar David Aspinall2000-09-21
* Set version tag for new release.Gravatar David Aspinall2000-09-21
* Fix globbing some more.Gravatar David Aspinall2000-09-21
* Fix for rpm braindead globbing.Gravatar David Aspinall2000-09-21
* Fix infodir entry, it got broken somehow.Gravatar David Aspinall2000-09-21
* Add PG-adapting to info files.Gravatar David Aspinall2000-09-21
* tweak 'x-symbol-image-converter to avoid confusing warning;Gravatar Makarius Wenzel2000-09-21
* use plain /bin/sh instead of bash;Gravatar Makarius Wenzel2000-09-21
* Added Prefixes: tagGravatar David Aspinall2000-09-21
* Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ...Gravatar David Aspinall2000-09-21
* Make PG-adapting first so index.html left pointing to main manualGravatar David Aspinall2000-09-21
* added Isabelle symbols for parendblleft/parendblright glyphs (will beGravatar Makarius Wenzel2000-09-21
* Newlines.Gravatar David Aspinall2000-09-21
* Tweaked abort buttonGravatar David Aspinall2000-09-21
* Improved adding more lisp code chapter.Gravatar David Aspinall2000-09-21
* Changed ChangeLog target to use rcs2log directly. Added developer's details,...Gravatar David Aspinall2000-09-21
* Removed blurry distinction between block-comment and comment in FSF's buffer-...Gravatar David Aspinall2000-09-21
* ** D support proof-next-error?Gravatar Makarius Wenzel2000-09-21
* tuned comment;Gravatar Makarius Wenzel2000-09-21
* bug2: Resolved as of 17.9.00;Gravatar Makarius Wenzel2000-09-21
* fixed "Dagstuhl";Gravatar Makarius Wenzel2000-09-21
* done: exit isar;Gravatar Makarius Wenzel2000-09-21
* added -X option;Gravatar Makarius Wenzel2000-09-20
* Set version tag for new release.Gravatar David Aspinall2000-09-20
* CommentsGravatar David Aspinall2000-09-20
* Disable toolbar enablers on win32.Gravatar David Aspinall2000-09-20
* New generated buttons.Gravatar David Aspinall2000-09-20
* Add new buttonGravatar David Aspinall2000-09-20
* added abort buttonGravatar Christophe Raffalli2000-09-20
* abort buttonGravatar Christophe Raffalli2000-09-20
* dirty bug fix in next-span to avoid loops with FSF EmacsGravatar Christophe Raffalli2000-09-20
* made \<> word characters (accomodates symbol representation);Gravatar Makarius Wenzel2000-09-19
* installfonts only when using X window system;Gravatar Makarius Wenzel2000-09-19
* isar-toolbar-entries: remove 'goal and 'qed;Gravatar Makarius Wenzel2000-09-19
* removed junk;Gravatar Makarius Wenzel2000-09-19
* improved xsymbol config: include info dir, only init for XEmacs;Gravatar Makarius Wenzel2000-09-19
* done: ability to choose logic;Gravatar Makarius Wenzel2000-09-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-03 02:29:55 +0000