aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2005-08-10Move some keybindings from script mode to universal keysDavid Aspinall
2005-08-09Documentation.David Aspinall
2005-08-09next-error-regexp seems to have broken; fix it against current Isabelle CVS.David Aspinall
2005-08-08proof-defshortcut isar-bold;Makarius Wenzel
2005-07-27Resolve buffer for background resolution prover (Claire Quigley)David Aspinall
2005-07-19tuned;Makarius Wenzel
2005-07-15Try to avoid packaging elcs inadvertentlyDavid Aspinall
2005-07-15Add proof-general-version-yearDavid Aspinall
2005-07-15fix tar arg orderDavid Aspinall
2005-07-15Set version tag for new release.David Aspinall
2005-07-15Tweak headers for FC4 buildDavid Aspinall
2005-07-15Fix distclean to remove x-symbol elc filesDavid Aspinall
2005-07-15Missing proof-compat in proof-splashDavid Aspinall
2005-07-15Update to match desktop entry spec 0.9.4David Aspinall
2005-07-15Add alpha to fit modern themesDavid Aspinall
2005-07-15Tweaks according to menu-spec-0.9, desktop-entry-spect 0.9.4David Aspinall
2005-07-15Updated.David Aspinall
2005-07-05*** empty log message ***Christophe Raffalli
2005-07-05*** empty log message ***Christophe Raffalli
2005-06-26tuned isar-goals-font-lock-keywords;Makarius Wenzel
2005-06-24more general goal pattern;Makarius Wenzel
2005-06-02Set version tag for new release.David Aspinall
2005-06-02Update FAQ #1David Aspinall
2005-05-31Key bindings for proof-shell-exit, proof-shell-start.David Aspinall
2005-05-31Comments.David Aspinall
2005-05-31Document proof-shell-start, proof-shell-exit keysDavid Aspinall
2005-05-31use physical path;Makarius Wenzel
2005-05-31tuned;Makarius Wenzel
2005-05-22removed find_rwrites, print_intros;Makarius Wenzel
2005-05-17Updated.David Aspinall
2005-05-17Fix menu path to CustomizeDavid Aspinall
2005-05-17Set version tag for new release.David Aspinall
2005-05-17- Don't just reuse visible frames but also iconified ones.David Aspinall
2005-05-17Documentation.David Aspinall
2005-05-17Disable Twelf support by defaultDavid Aspinall
2005-05-17Fix the removal of ".UTF-8" from LANG.David Aspinall
2005-05-17Updated.David Aspinall
2005-05-17Add missing lib/David Aspinall
2005-05-17- shell-command-to-string can fail in various corner cases.David Aspinall
2005-05-17- Remove wrong docstring on make-detached-span.David Aspinall
2005-05-17Deleted fileDavid Aspinall
2005-05-17Updated.David Aspinall
2005-05-17added -L option;Makarius Wenzel
2005-05-10undeleted;Makarius Wenzel
2005-04-27Add FAQ about favouritesDavid Aspinall
2005-04-21added some entris in coq menus.Pierre Courtieu
2005-04-20cleaned a bit coq.el (checkdoc). Put some comments to tell what is toPierre Courtieu
2005-04-20New backtracking system for coq continues, this time it uses a new CoqPierre Courtieu
2005-03-25Updated.David Aspinall
2005-03-25New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 20:55:17 +0000