aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Updated.Gravatar David Aspinall2005-08-10
* Fix to help menu from Timothy BourkeGravatar David Aspinall2005-08-10
* Move some keybindings from script mode to universal keysGravatar David Aspinall2005-08-10
* Documentation.Gravatar David Aspinall2005-08-09
* next-error-regexp seems to have broken; fix it against current Isabelle CVS.Gravatar David Aspinall2005-08-09
* proof-defshortcut isar-bold;Gravatar Makarius Wenzel2005-08-08
* Resolve buffer for background resolution prover (Claire Quigley)Gravatar David Aspinall2005-07-27
* tuned;Gravatar Makarius Wenzel2005-07-19
* Try to avoid packaging elcs inadvertentlyGravatar David Aspinall2005-07-15
* Add proof-general-version-yearGravatar David Aspinall2005-07-15
* fix tar arg orderGravatar David Aspinall2005-07-15
* Set version tag for new release.Gravatar David Aspinall2005-07-15
* Tweak headers for FC4 buildGravatar David Aspinall2005-07-15
* Fix distclean to remove x-symbol elc filesGravatar David Aspinall2005-07-15
* Missing proof-compat in proof-splashGravatar David Aspinall2005-07-15
* Update to match desktop entry spec 0.9.4Gravatar David Aspinall2005-07-15
* Add alpha to fit modern themesGravatar David Aspinall2005-07-15
* Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4Gravatar David Aspinall2005-07-15
* Updated.Gravatar David Aspinall2005-07-15
* *** empty log message ***Gravatar Christophe Raffalli2005-07-05
* *** empty log message ***Gravatar Christophe Raffalli2005-07-05
* tuned isar-goals-font-lock-keywords;Gravatar Makarius Wenzel2005-06-26
* more general goal pattern;Gravatar Makarius Wenzel2005-06-24
* Set version tag for new release.Gravatar David Aspinall2005-06-02
* Update FAQ #1Gravatar David Aspinall2005-06-02
* Key bindings for proof-shell-exit, proof-shell-start.Gravatar David Aspinall2005-05-31
* Comments.Gravatar David Aspinall2005-05-31
* Document proof-shell-start, proof-shell-exit keysGravatar David Aspinall2005-05-31
* use physical path;Gravatar Makarius Wenzel2005-05-31
* tuned;Gravatar Makarius Wenzel2005-05-31
* removed find_rwrites, print_intros;Gravatar Makarius Wenzel2005-05-22
* Updated.Gravatar David Aspinall2005-05-17
* Fix menu path to CustomizeGravatar David Aspinall2005-05-17
* Set version tag for new release.Gravatar David Aspinall2005-05-17
* - Don't just reuse visible frames but also iconified ones.Gravatar David Aspinall2005-05-17
* Documentation.Gravatar David Aspinall2005-05-17
* Disable Twelf support by defaultGravatar David Aspinall2005-05-17
* Fix the removal of ".UTF-8" from LANG.Gravatar David Aspinall2005-05-17
* Updated.Gravatar David Aspinall2005-05-17
* Add missing lib/Gravatar David Aspinall2005-05-17
* - shell-command-to-string can fail in various corner cases.Gravatar David Aspinall2005-05-17
* - Remove wrong docstring on make-detached-span.Gravatar David Aspinall2005-05-17
* Deleted fileGravatar David Aspinall2005-05-17
* Updated.Gravatar David Aspinall2005-05-17
* added -L option;Gravatar Makarius Wenzel2005-05-17
* undeleted;Gravatar Makarius Wenzel2005-05-10
* Add FAQ about favouritesGravatar David Aspinall2005-04-27
* added some entris in coq menus.Gravatar Pierre Courtieu2005-04-21
* cleaned a bit coq.el (checkdoc). Put some comments to tell what is toGravatar Pierre Courtieu2005-04-20
* New backtracking system for coq continues, this time it uses a new CoqGravatar Pierre Courtieu2005-04-20
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 12:23:44 +0000