aboutsummaryrefslogtreecommitdiff
path: root/isar/isabelle-system.el
AgeCommit message (Expand)Author
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-12-12Cleanup patch; Moving defvar to toplevelStefan Monnier
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2017-03-08Remove compile-time calls to proof-ready-for-assistantClément Pit--Claudel
2017-03-08Fix incorrect assumption that noninteractive == byte-compilingClément Pit--Claudel
2015-03-11Summary: Build in default path for Isabelle2014 Mac packageDavid Aspinall
2012-08-30Summary: Don't quote lambda expressionsStefan Monnier
2011-10-17Attempt to support stricter bytecomp warningsDavid Aspinall
2011-10-17Require cl only during compileDavid Aspinall
2011-10-13Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...David Aspinall
2010-08-11Support custom syntactic fontification.David Aspinall
2009-12-07more robust treatment of spaces in directory names;Makarius Wenzel
2009-12-03Change of type for proof-script-span-context-menu-extensionsDavid Aspinall
2009-12-02Fix compile error (isar-prog-args unknown).David Aspinall
2009-12-01isabelle-set-prog-name: avoid calling split-string with nil arg.David Aspinall
2009-11-28isabelle-set-prog-name: more robust treatment of spaces in arguments;Makarius Wenzel
2009-09-27Follow Upper Case Convention for menu entriesDavid Aspinall
2009-09-14Fix compilation.David Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-06Remove unused subterm markup codeDavid Aspinall
2009-09-05More sensible message for file dialogDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-07-29ISABELLE_TOOL refers to "isabelle" tool wrapper;Makarius Wenzel
2009-05-26Revert "logic" fix.David Aspinall
2009-05-26More isatool->isabelle renamings and an (old) logic fixDavid Aspinall
2009-05-26Rename isatool -> isabelleDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-16Remove use of :help for menu tooltips- GNU Emacs only.David Aspinall
2008-07-10Add hook for hack-local-variables-hook to give warning about chosen logic cha...David Aspinall
2008-07-10Start to rationalise setting for proof-prog-name.David Aspinall
2008-01-28Prevent prompt during compilationDavid Aspinall
2008-01-25Fix previous change.David Aspinall
2008-01-25Make isatool usage (view doc) compatible with proof-rsh-command.David Aspinall
2008-01-25Make isatool usage compatible with proof-rsh-command.David Aspinall
2008-01-16Updated.David Aspinall
2008-01-15Many compatibility updates, bug fixes, rearrangements for compilation.David Aspinall
2007-12-14Move x-symbol-isabelle -> x-symbol-isar to simplify setup.David Aspinall
2007-12-09Comment unused functionDavid Aspinall
2007-10-24removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Makarius Wenzel
2006-12-07proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Makarius Wenzel
2006-12-05Use Isar-specific isabelle-system fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:07 +0000