aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar/isabelle-system.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Cleanup patch; Moving defvar to toplevelGravatar Stefan Monnier2018-12-12
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* Remove compile-time calls to proof-ready-for-assistantGravatar Clément Pit--Claudel2017-03-08
* Fix incorrect assumption that noninteractive == byte-compilingGravatar Clément Pit--Claudel2017-03-08
* Summary: Build in default path for Isabelle2014 Mac packageGravatar David Aspinall2015-03-11
* Summary: Don't quote lambda expressionsGravatar Stefan Monnier2012-08-30
* Attempt to support stricter bytecomp warningsGravatar David Aspinall2011-10-17
* Require cl only during compileGravatar David Aspinall2011-10-17
* Patch from Tom Prince to fix Emacs 24 byte compilation (replace interactive-p...Gravatar David Aspinall2011-10-13
* Support custom syntactic fontification.Gravatar David Aspinall2010-08-11
* more robust treatment of spaces in directory names;Gravatar Makarius Wenzel2009-12-07
* Change of type for proof-script-span-context-menu-extensionsGravatar David Aspinall2009-12-03
* Fix compile error (isar-prog-args unknown).Gravatar David Aspinall2009-12-02
* isabelle-set-prog-name: avoid calling split-string with nil arg.Gravatar David Aspinall2009-12-01
* isabelle-set-prog-name: more robust treatment of spaces in arguments;Gravatar Makarius Wenzel2009-11-28
* Follow Upper Case Convention for menu entriesGravatar David Aspinall2009-09-27
* Fix compilation.Gravatar David Aspinall2009-09-14
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Remove unused subterm markup codeGravatar David Aspinall2009-09-06
* More sensible message for file dialogGravatar David Aspinall2009-09-05
* Clean whitespaceGravatar David Aspinall2009-09-05
* ISABELLE_TOOL refers to "isabelle" tool wrapper;Gravatar Makarius Wenzel2009-07-29
* Revert "logic" fix.Gravatar David Aspinall2009-05-26
* More isatool->isabelle renamings and an (old) logic fixGravatar David Aspinall2009-05-26
* Rename isatool -> isabelleGravatar David Aspinall2009-05-26
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Remove use of :help for menu tooltips- GNU Emacs only.Gravatar David Aspinall2008-07-16
* Add hook for hack-local-variables-hook to give warning about chosen logic cha...Gravatar David Aspinall2008-07-10
* Start to rationalise setting for proof-prog-name.Gravatar David Aspinall2008-07-10
* Prevent prompt during compilationGravatar David Aspinall2008-01-28
* Fix previous change.Gravatar David Aspinall2008-01-25
* Make isatool usage (view doc) compatible with proof-rsh-command.Gravatar David Aspinall2008-01-25
* Make isatool usage compatible with proof-rsh-command.Gravatar David Aspinall2008-01-25
* Updated.Gravatar David Aspinall2008-01-16
* Many compatibility updates, bug fixes, rearrangements for compilation.Gravatar David Aspinall2008-01-15
* Move x-symbol-isabelle -> x-symbol-isar to simplify setup.Gravatar David Aspinall2007-12-14
* Comment unused functionGravatar David Aspinall2007-12-09
* removed obsolete isabelle-version-string, isa-version, isa-supports-pgip;Gravatar Makarius Wenzel2007-10-24
* proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...Gravatar Makarius Wenzel2006-12-07
* Use Isar-specific isabelle-system fileGravatar David Aspinall2006-12-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-05 03:06:00 +0000