index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
more robust treatment of options and arguments (via arrays and special @ expa...
Makarius Wenzel
2009-05-30
*
Cleanup more Emacs compatibility
David Aspinall
2009-05-27
*
Check unicode-tokens-mode is bound
David Aspinall
2009-05-27
*
Bump Emacs version
David Aspinall
2009-05-26
*
Add proof state hover messages to proof script, along with useful customization.
David Aspinall
2009-05-26
*
Add functions for encoding string and buffer regions
David Aspinall
2009-05-26
*
Revert "logic" fix.
David Aspinall
2009-05-26
*
More isatool->isabelle renamings and an (old) logic fix
David Aspinall
2009-05-26
*
Correct Unicode support
David Aspinall
2009-05-26
*
Update version, latest only.
David Aspinall
2009-05-26
*
Set version tag for new release.
David Aspinall
2009-05-26
*
Fix header
David Aspinall
2009-05-26
*
Updated
David Aspinall
2009-05-26
*
Remove process-live-p, move complete autoload to use point
David Aspinall
2009-05-26
*
proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obey
David Aspinall
2009-05-26
*
Remove yank-handler experiment, in favour of buffer-substring-filters
David Aspinall
2009-05-26
*
Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...
David Aspinall
2009-05-26
*
*** empty log message ***
David Aspinall
2009-05-26
*
isar-strip-output-markup: simple output markup stripping
David Aspinall
2009-05-26
*
Set strip-output-function for pasting. Adjust font-lock handling to
David Aspinall
2009-05-26
*
Test case for #266
David Aspinall
2009-05-26
*
unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: font...
David Aspinall
2009-05-26
*
Updated
David Aspinall
2009-05-26
*
Add proof-electric-terminator-noterminator behaviour for Isar
David Aspinall
2009-05-26
*
Updates for Isabelle2009, new electric terminator behaviour.
David Aspinall
2009-05-26
*
Revise example for Isabelle 2009, showing use of two commands on a line.
David Aspinall
2009-05-26
*
Hide goals marker start again (Isabelle2009 doesn't markup subgoals)
David Aspinall
2009-05-26
*
Revive sendback behaviour (using button1)
David Aspinall
2009-05-26
*
Rename isatool -> isabelle
David Aspinall
2009-05-26
*
Add highlighting for sendback
David Aspinall
2009-05-26
*
Set default value for `buffer-invisibility-spec'
David Aspinall
2009-05-25
*
Updated.
David Aspinall
2009-04-16
*
Set version tag for new release.
David Aspinall
2009-04-16
*
fixed a bug with region-exists-p not defined in some emacsen.
Pierre Courtieu
2009-04-16
*
isar-output-font-lock-keywords-1: simplified regexp for invisible stuff, and ...
Makarius Wenzel
2009-03-31
*
eliminated obsolete non-ASCII specials;
Makarius Wenzel
2009-03-31
*
recovered proof-shell-process-urgent-message, by re-introducing commented-out...
Makarius Wenzel
2009-03-31
*
fixed spelling;
Makarius Wenzel
2009-03-31
*
fixed a bad interaction with Coq -R option
Assia Mahboubi
2009-03-17
*
Fix to use in place of make, see http://proofgeneral.inf.ed.ac.uk/trac/ticke...
David Aspinall
2009-03-10
*
Made indentation optional when replaing # by holes.
Pierre Courtieu
2009-01-14
*
Deleted file
David Aspinall
2008-12-05
*
Deleted file
David Aspinall
2008-12-05
*
merge develdownload.html with devel.html
David Aspinall
2008-12-05
*
Updated.
David Aspinall
2008-12-05
*
Tweak
David Aspinall
2008-12-05
*
Set version tag for new release.
David Aspinall
2008-12-05
*
Linear undo command
David Aspinall
2008-12-05
*
Some minimal updates for 4.0pre
David Aspinall
2008-12-05
*
Fix extra @end defvar
David Aspinall
2008-12-05
[next]