aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-05-17Allow SearchAbout to deal with complex queries.Pierre Courtieu
2010-05-17Added a "remember this" window. Experimental.Pierre Courtieu
2010-04-12Fix coq error utf8 underlining with coq-8.3beta.Pierre Courtieu
2010-04-12Test updateDavid Aspinall
2010-03-10*** empty log message ***David Aspinall
2010-03-10*** empty log message ***David Aspinall
2010-03-10*** empty log message ***David Aspinall
2010-03-10Update dateDavid Aspinall
2009-12-07more robust treatment of spaces in directory names;Makarius Wenzel
2009-12-04New filesDavid Aspinall
2009-12-04Set version tag for new release.David Aspinall
2009-12-04docstringDavid Aspinall
2009-12-04UpdatedDavid Aspinall
2009-12-03Revert spurious commitsDavid Aspinall
2009-12-03Change of type for proof-script-span-context-menu-extensionsDavid Aspinall
2009-12-03Rework script span element hiding to avoid buffer-invisibility-spec. Add ↵David Aspinall
command elements.
2009-12-02Fix to last patch for face saving (untested still).David Aspinall
2009-12-02Fix compile error (isar-prog-args unknown).David Aspinall
2009-12-02Better approximation of restoring old highlighting, by caching saved face.David Aspinall
2009-12-02Fix menu path to Sticky Errors option.David Aspinall
2009-12-02Add proof-sticky-errors to quick options menu.David Aspinall
2009-12-01tidyDavid Aspinall
2009-12-01Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311David Aspinall
2009-12-01Add rest of standard token symbols for alphabets in other fontsDavid Aspinall
(e.g. fraktur lower case \<aa>, whatever these are supposed to look like).
2009-12-01Update token list adding fraktur characters.David Aspinall
2009-12-01Set version tag for new release.David Aspinall
2009-12-01Update magicDavid Aspinall
2009-12-01Profile 'pg' needed now tooDavid Aspinall
2009-12-01Point to Trac #313David Aspinall
2009-12-01CommentsDavid Aspinall
2009-12-01Quote arguments to EMACS/PGHOME.David Aspinall
2009-12-01spacesDavid Aspinall
2009-12-01UpdatedDavid Aspinall
2009-12-01Added spanning identifier supers/subsDavid Aspinall
2009-12-01isar-control-char-format-regexp: correct to only affect next char/symbolDavid Aspinall
isar-control-regions: add \<^bisup>..\<^eisup> and \<^bisub>..\<^eisub>
2009-12-01Remove mention of `proof-script-use-old-parser'.David Aspinall
2009-12-01isabelle-set-prog-name: avoid calling split-string with nil arg.David Aspinall
2009-12-01Add some examples of longer subscriptsDavid Aspinall
2009-12-01proof-splice-separator -> mapconcat builtinDavid Aspinall
2009-12-01UpdateDavid Aspinall
2009-12-01Add test caseDavid Aspinall
2009-12-01isar-ids-to-regexp: regexp-opt with 'words arg (non-shy matching insideDavid Aspinall
\< \>) appears to work on Emacs 22, hopefully repairing http://proofgeneral.inf.ed.ac.uk/trac/ticket/300. Also replace proof-splice-separator -> mapconcat builtin.
2009-12-01Add keywords for possible benefit of finder package.David Aspinall
2009-12-01proof-ids-to-regexp: use regexp-opt, this seems reliable now.David Aspinall
2009-12-01Explain fontsets for Emacs 22David Aspinall
2009-12-01CleanDavid Aspinall
2009-12-01typoDavid Aspinall
2009-12-01fix proof-splice-separatorDavid Aspinall
2009-12-01Add some more examples and syntax declarations to actuallyDavid Aspinall
process the file.
2009-12-01isar-control-char-format-regexp: prevent subsequent control chars being capturedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 04:38:00 +0000