aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
...
* isar-shell-adjust-line-width: save-excursion -> with-current-buffer to avoidGravatar David Aspinall2010-07-01
* proof-last-locked-span: save-excursion -> with-current-buffer to avoidGravatar David Aspinall2010-07-01
* removed some old commands;Gravatar Makarius Wenzel2010-06-29
* update from Isabelle2009-2;Gravatar Makarius Wenzel2010-06-29
* Remove debug messageGravatar David Aspinall2010-06-28
* Isabelle syntax updateGravatar David Aspinall2010-06-28
* Isabelle syntax updateGravatar David Aspinall2010-06-28
* Updated.Gravatar David Aspinall2010-06-27
* Experimental backwards delete char. See Trac #290Gravatar David Aspinall2010-06-27
* `proof-shell-process-urgent-messages': fix to avoid duplicated messages (Trac...Gravatar David Aspinall2010-06-27
* Fixing the behaviour of the responses-freeze window.Gravatar Pierre Courtieu2010-05-17
* Allow SearchAbout to deal with complex queries.Gravatar Pierre Courtieu2010-05-17
* Added a "remember this" window. Experimental.Gravatar Pierre Courtieu2010-05-17
* Fix coq error utf8 underlining with coq-8.3beta.Gravatar Pierre Courtieu2010-04-12
* Test updateGravatar David Aspinall2010-04-12
* *** empty log message ***Gravatar David Aspinall2010-03-10
* *** empty log message ***Gravatar David Aspinall2010-03-10
* *** empty log message ***Gravatar David Aspinall2010-03-10
* Update dateGravatar David Aspinall2010-03-10
* more robust treatment of spaces in directory names;Gravatar Makarius Wenzel2009-12-07
* New filesGravatar David Aspinall2009-12-04
* Set version tag for new release.Gravatar David Aspinall2009-12-04
* docstringGravatar David Aspinall2009-12-04
* UpdatedGravatar David Aspinall2009-12-04
* Revert spurious commitsGravatar David Aspinall2009-12-03
* Change of type for proof-script-span-context-menu-extensionsGravatar David Aspinall2009-12-03
* Rework script span element hiding to avoid buffer-invisibility-spec. Add com...Gravatar David Aspinall2009-12-03
* Fix to last patch for face saving (untested still).Gravatar David Aspinall2009-12-02
* Fix compile error (isar-prog-args unknown).Gravatar David Aspinall2009-12-02
* Better approximation of restoring old highlighting, by caching saved face.Gravatar David Aspinall2009-12-02
* Fix menu path to Sticky Errors option.Gravatar David Aspinall2009-12-02
* Add proof-sticky-errors to quick options menu.Gravatar David Aspinall2009-12-02
* tidyGravatar David Aspinall2009-12-01
* Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311Gravatar David Aspinall2009-12-01
* Add rest of standard token symbols for alphabets in other fontsGravatar David Aspinall2009-12-01
* Update token list adding fraktur characters.Gravatar David Aspinall2009-12-01
* Set version tag for new release.Gravatar David Aspinall2009-12-01
* Update magicGravatar David Aspinall2009-12-01
* Profile 'pg' needed now tooGravatar David Aspinall2009-12-01
* Point to Trac #313Gravatar David Aspinall2009-12-01
* CommentsGravatar David Aspinall2009-12-01
* Quote arguments to EMACS/PGHOME.Gravatar David Aspinall2009-12-01
* spacesGravatar David Aspinall2009-12-01
* UpdatedGravatar David Aspinall2009-12-01
* Added spanning identifier supers/subsGravatar David Aspinall2009-12-01
* isar-control-char-format-regexp: correct to only affect next char/symbolGravatar David Aspinall2009-12-01
* Remove mention of `proof-script-use-old-parser'.Gravatar David Aspinall2009-12-01
* isabelle-set-prog-name: avoid calling split-string with nil arg.Gravatar David Aspinall2009-12-01
* Add some examples of longer subscriptsGravatar David Aspinall2009-12-01
* proof-splice-separator -> mapconcat builtinGravatar David Aspinall2009-12-01
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-16 01:17:08 +0000