index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
isar
Commit message (
Expand
)
Author
Age
*
isabelle-set-prog-name: more robust treatment of spaces in arguments;
Makarius Wenzel
2009-11-28
*
additional menu entries;
Makarius Wenzel
2009-11-26
*
define isar-pr as load-time constant;
Makarius Wenzel
2009-11-24
*
Use ProofGeneral.pr if available. See Trac #292.
David Aspinall
2009-11-23
*
tvar font-lock: allow more than one ? (as in inference parameter ??'a);
Makarius Wenzel
2009-11-21
*
more robust THIS/SUPER: allow spaces;
Makarius Wenzel
2009-11-21
*
menu items for atp_info, atp_kill;
Makarius Wenzel
2009-10-21
*
disable indent-tabs-mode for theory mode;
Makarius Wenzel
2009-10-17
*
Remove function-menu setting
David Aspinall
2009-10-14
*
named entity needed for goal-with-hole
David Aspinall
2009-10-14
*
Remove fume settings
David Aspinall
2009-10-14
*
Start using new parser, adjusting isar-any-command-regexp.
David Aspinall
2009-10-03
*
Documentation.
David Aspinall
2009-09-29
*
inline isar-long-id-stuff
David Aspinall
2009-09-29
*
Functions find-and-forget and count-undos now return lists of commands
David Aspinall
2009-09-28
*
Add markup for \<^const> control, complicate `isar-control-char-format-regexp...
David Aspinall
2009-09-28
*
Follow Upper Case Convention for menu entries
David Aspinall
2009-09-27
*
display_drafts, print_drafts: query to save buffer
David Aspinall
2009-09-27
*
Add pr to print state in case of linear_undo. See Trac #292.
David Aspinall
2009-09-26
*
Revert accidental commit
David Aspinall
2009-09-15
*
Fix compile errors
David Aspinall
2009-09-15
*
Fix compilation.
David Aspinall
2009-09-14
*
Add outline-heading-alist setting. Fix compilation.
David Aspinall
2009-09-14
*
isar-outline-heading-alist: fix list format
David Aspinall
2009-09-14
*
isar-outline-heading-alist: fix list format
David Aspinall
2009-09-14
*
isar-outline-heading-alist: fix structure
David Aspinall
2009-09-14
*
Improve support for outline mode: additional headings and sublevel support
David Aspinall
2009-09-14
*
Rename mode names
David Aspinall
2009-09-14
*
Bug in \\<diamond> token
David Aspinall
2009-09-11
*
Typo in var name: fixes toggling of use-linear-undo.
David Aspinall
2009-09-10
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Support linear_undo. Add minimal font-lock for readability in *isabelle*.
David Aspinall
2009-09-09
*
Remove barely useful proof-shell-abort-goal-regexp (only served to sanitize L...
David Aspinall
2009-09-08
*
Fix proof-shell-trace-output-regexp: match on annotation \^AI now too
David Aspinall
2009-09-07
*
Require unicode-tokens during compile.
David Aspinall
2009-09-07
*
Revert change in 10.26 to use defpacustom after all, this gives
David Aspinall
2009-09-07
*
Fix initialisation of isar-use-find-theorems-form in compiled file.
David Aspinall
2009-09-07
*
Fix compiler warnings
David Aspinall
2009-09-07
*
isar-use-find-theorems-form: use defcustom, not defpacustom
David Aspinall
2009-09-07
*
Isabelle->isabelle binary. Remove Isar homepage.
David Aspinall
2009-09-07
*
isar-preprocessing: remove unnecessary save-match-data.
David Aspinall
2009-09-07
*
Remove \t in \<inverse> expansion.
David Aspinall
2009-09-07
*
Remove \t in \<module> expansion.
David Aspinall
2009-09-07
*
Remove unused subterm markup code
David Aspinall
2009-09-06
*
Configuration changes for shell mode revision.
David Aspinall
2009-09-06
*
Fix defcustom types
David Aspinall
2009-09-05
*
Separate standard tokens from extended set. Add missing compositions. Set ...
David Aspinall
2009-09-05
*
More sensible message for file dialog
David Aspinall
2009-09-05
*
Updated from Isabelle2009
David Aspinall
2009-09-05
*
Add shortcuts for (| and |).
David Aspinall
2009-09-05
[next]