aboutsummaryrefslogtreecommitdiffhomepage
path: root/isar
Commit message (Expand)AuthorAge
* Remove proof-shell-interactive-input-regexp again!Gravatar David Aspinall2003-10-05
* Set proof-shell-interactive-input-regexpGravatar David Aspinall2003-10-05
* New files.Gravatar David Aspinall2003-09-24
* Yet another fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-09-05
* Corrected fix from Sebastian Skalberg.Gravatar Stefan Berghofer2003-08-29
* Fix from Sebastian Skalberg <skalberg@in.tum.de>Gravatar David Aspinall2003-08-28
* Fix SML comment syntax oopsGravatar David Aspinall2003-08-20
* Use newer undo function ProofGeneral.undo (no output undo).Gravatar David Aspinall2003-08-19
* Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...Gravatar David Aspinall2003-06-08
* Set proof-shell-identifier-under-mouse-cmdGravatar David Aspinall2003-06-08
* Make find-and-forget robust for proverproc regionsGravatar David Aspinall2003-06-05
* Fix from Gerwin to repair groupingGravatar David Aspinall2003-05-23
* Version from Gerwin with performance fixesGravatar David Aspinall2003-05-20
* Version without match save, and disabling isar-match-antiq.Gravatar David Aspinall2003-05-20
* Disable fontification of antiquotation because of buggy interaction with font...Gravatar David Aspinall2003-04-25
* Remove isa-mode from automode alist, to allow SML mode in preferenceGravatar David Aspinall2003-04-15
* Save match data in font-locking function for antiquotations (patch from CW).Gravatar David Aspinall2003-04-15
* New files.Gravatar David Aspinall2003-02-22
* Move x-sym config to x-symbol-isar.elGravatar David Aspinall2003-02-22
* Documentation.Gravatar David Aspinall2003-02-19
* Updated.Gravatar David Aspinall2003-02-19
* Test with -- short comments. DocsGravatar David Aspinall2003-02-18
* New files.Gravatar David Aspinall2003-02-18
* Documentation.Gravatar David Aspinall2003-02-18
* Decoration to show off MMM modeGravatar David Aspinall2003-02-18
* Revert to old isar-ids-to-regexpGravatar David Aspinall2003-02-17
* Documentation.Gravatar David Aspinall2003-02-16
* Add backwards compatibility for old pre-PGIP settings mechanismGravatar David Aspinall2003-02-16
* - Moved "show me" menu one level up in the menu hierarchyGravatar Stefan Berghofer2003-02-03
* DocstringGravatar David Aspinall2002-11-28
* Updated.Gravatar David Aspinall2002-11-21
* Make proof-assistants-settings-cmd be evaluated at right time.Gravatar David Aspinall2002-11-20
* Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.Gravatar David Aspinall2002-11-18
* Add trigger for <pgip messagesGravatar David Aspinall2002-11-08
* Remove comment about selecting PG/Isar.Gravatar David Aspinall2002-09-11
* Shorten mode names. Comment about parsing prob.Gravatar David Aspinall2002-09-11
* Source of parsing problem discovered and explained.Gravatar David Aspinall2002-09-11
* Use old parser still for Isar for time being (see note in source)Gravatar David Aspinall2002-08-30
* Remove isabelle image from splash screenGravatar David Aspinall2002-08-29
* New theorem deps settingsGravatar David Aspinall2002-08-29
* proper setup for theorem dependencies;Gravatar Makarius Wenzel2002-08-27
* Updated.Gravatar David Aspinall2002-08-16
* Use shared span menuGravatar David Aspinall2002-08-16
* Name changes; span menu extensions; load theorem dependencies patch.Gravatar David Aspinall2002-08-16
* Remove comment at the end testing feature. See etc/isar/Parsing.thy instead.Gravatar David Aspinall2002-08-12
* Enable variable highlighting in case experimental features enabled.Gravatar David Aspinall2002-08-12
* UpdatedGravatar David Aspinall2002-08-12
* Deleted fileGravatar David Aspinall2002-08-09
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-23 08:07:59 +0000