aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* made ASCII backquote (`) alternative string delimiter;Gravatar Makarius Wenzel2005-08-26
* isar-goals-font-lock-keywords: calculation;Gravatar Makarius Wenzel2005-08-18
* isatool fixheaders;Gravatar Makarius Wenzel2005-08-18
* obsolete;Gravatar Makarius Wenzel2005-08-18
* Fix lego-shell-adjust-line-width for mutliple frame mode.Gravatar David Aspinall2005-08-14
* Fix plastic-shell-adjust-line-width for mutliple frame mode.Gravatar David Aspinall2005-08-14
* Fix isar-shell-adjust-line-width for mutliple frame mode.Gravatar David Aspinall2005-08-14
* Set version tag for new release.Gravatar David Aspinall2005-08-10
* Updated.Gravatar David Aspinall2005-08-10
* Include proofgeneral.1 target. Fix make->(MAKE)Gravatar David Aspinall2005-08-10
* Update yearGravatar David Aspinall2005-08-10
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-29 14:34:37 +0000