aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Add icon images.Gravatar David Aspinall2000-09-29
* Minor changeGravatar David Aspinall2000-09-29
* Note about packages neededGravatar David Aspinall2000-09-29
* Click to go back links to root.Gravatar David Aspinall2000-09-29
* Remove messy link_root links.Gravatar David Aspinall2000-09-29
* Short file instead of a link, so works in CVS. Bit annoying to duplicate, but...Gravatar David Aspinall2000-09-29
* Links for shortcut URLs.Gravatar David Aspinall2000-09-29
* Mention needed server hacksGravatar David Aspinall2000-09-29
* Remove link_root nonsenseGravatar David Aspinall2000-09-29
* Updated with fixes before 3.2.Gravatar David Aspinall2000-09-29
* Inherent problem with Emacs in console mode: no face supportGravatar David Aspinall2000-09-29
* twelf and acl2 are in ordinary distGravatar David Aspinall2000-09-29
* Mention ACL2 tooGravatar David Aspinall2000-09-29
* TweakGravatar David Aspinall2000-09-29
* Comment fixGravatar David Aspinall2000-09-29
* Parse comments also in proof-script-generic-parse-sexpGravatar David Aspinall2000-09-29
* Non existent get-window-buffer -> get-buffer-window (how did that get through?)Gravatar David Aspinall2000-09-29
* Default for proof-comment-end that doesn't cause looping in searching for com...Gravatar David Aspinall2000-09-29
* Updated, trimmed down to barebones.Gravatar David Aspinall2000-09-29
* added some comments in coq/todoGravatar Pierre Courtieu2000-09-29
* Make default path to perl be /usr/bin/perlGravatar David Aspinall2000-09-29
* a little change in coq/x-symbol, nothingGravatar Pierre Courtieu2000-09-29
* A little work around for the bug of Coq concerning the restart thatGravatar Pierre Courtieu2000-09-29
* Added Uncaught exception errors in coq-error-regexp.Gravatar Pierre Courtieu2000-09-29
* Date becomes OctGravatar David Aspinall2000-09-28
* Fix web page, at least.Gravatar David Aspinall2000-09-28
* Notes.Gravatar David Aspinall2000-09-28
* TweaksGravatar David Aspinall2000-09-28
* phtml -> htmlGravatar David Aspinall2000-09-28
* Fix URL.Gravatar David Aspinall2000-09-28
* Moved to use .html instead of .phtmlGravatar David Aspinall2000-09-28
* Renamed filesGravatar David Aspinall2000-09-28
* Renamed fileGravatar David Aspinall2000-09-28
* Add FIXMEGravatar David Aspinall2000-09-28
* Fix comment.Gravatar David Aspinall2000-09-28
* Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.Gravatar David Aspinall2000-09-28
* Fix typo, add credit.Gravatar David Aspinall2000-09-28
* isar-web-page;Gravatar Makarius Wenzel2000-09-28
* Set version tag for new release.Gravatar David Aspinall2000-09-28
* Add default targetGravatar David Aspinall2000-09-28
* First (non-working) versions, committed so that doc builds.Gravatar David Aspinall2000-09-28
* Fix dateGravatar David Aspinall2000-09-28
* Dreams about testingGravatar David Aspinall2000-09-28
* Generalize Isabelles atomic file scripting.Gravatar David Aspinall2000-09-28
* Added generic line width adjusting to grand TODOGravatar David Aspinall2000-09-28
* Added extra section on how to tweak script input to the shellGravatar David Aspinall2000-09-28
* Added proof-shell-strip-crs-from-input, and unadvertised proof-script-fly-pas...Gravatar David Aspinall2000-09-28
* Added fly past comments to quick opts menu when new parsing mechanism active.Gravatar David Aspinall2000-09-28
* Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. Twe...Gravatar David Aspinall2000-09-28
* Added proof-shell-strip-crs-from-input.Gravatar David Aspinall2000-09-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 22:28:08 +0000