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
/
isar.el
Commit message (
Expand
)
Author
Age
*
Add functions for displaying/printing draft.
David Aspinall
2004-06-13
*
Set comment-quote-nested (for Emacs/XEmacs 21.5)
David Aspinall
2004-05-09
*
Patch from Brother Makarius
David Aspinall
2004-05-06
*
Add shortcuts for new X-Symbol sequences.
David Aspinall
2004-04-17
*
Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...
David Aspinall
2004-04-17
*
Set imenu-syntax-alist. Seems to solve prefix/underscore issue in Speedbar
David Aspinall
2004-04-15
*
Add imenu support.
David Aspinall
2004-04-14
*
Fix to proof-goal-with-hole-result to agree with isar-syntax.el
David Aspinall
2004-04-14
*
fixed regexp problem with function menu
Gerwin Klein
2004-04-14
*
Set proof-goal-with-hole-result to account for use of shy grouping in goal-wi...
David Aspinall
2004-04-13
*
Update email and web addresses
David Aspinall
2004-02-08
*
removed bold, no longer supported by x-symbol
Gerwin Klein
2003-12-23
*
Remove proof-shell-interactive-input-regexp again!
David Aspinall
2003-10-05
*
Set proof-shell-interactive-input-regexp
David Aspinall
2003-10-05
*
Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...
David Aspinall
2003-06-08
*
Set proof-shell-identifier-under-mouse-cmd
David Aspinall
2003-06-08
*
Make find-and-forget robust for proverproc regions
David Aspinall
2003-06-05
*
Remove isa-mode from automode alist, to allow SML mode in preference
David Aspinall
2003-04-15
*
Move x-sym config to x-symbol-isar.el
David Aspinall
2003-02-22
*
Documentation.
David Aspinall
2003-02-18
*
Documentation.
David Aspinall
2003-02-16
*
Add backwards compatibility for old pre-PGIP settings mechanism
David Aspinall
2003-02-16
*
- Moved "show me" menu one level up in the menu hierarchy
Stefan Berghofer
2003-02-03
*
Docstring
David Aspinall
2002-11-28
*
Updated.
David Aspinall
2002-11-21
*
Make proof-assistants-settings-cmd be evaluated at right time.
David Aspinall
2002-11-20
*
Add proof-shell-issue-pgip-cmd using ProofGeneral.process_pgip.
David Aspinall
2002-11-18
*
Add trigger for <pgip messages
David Aspinall
2002-11-08
*
Shorten mode names. Comment about parsing prob.
David Aspinall
2002-09-11
*
Use old parser still for Isar for time being (see note in source)
David Aspinall
2002-08-30
*
Remove isabelle image from splash screen
David Aspinall
2002-08-29
*
New theorem deps settings
David Aspinall
2002-08-29
*
proper setup for theorem dependencies;
Makarius Wenzel
2002-08-27
*
Use shared span menu
David Aspinall
2002-08-16
*
Name changes; span menu extensions; load theorem dependencies patch.
David Aspinall
2002-08-16
*
Enable variable highlighting in case experimental features enabled.
David Aspinall
2002-08-12
*
proof-splash-display-image -> proof-get-image; generalise for xpm images.
David Aspinall
2002-08-08
*
Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...
David Aspinall
2002-07-19
*
Use x-symbol-enable switch to see whether to include sub/super/bold flks.
David Aspinall
2002-07-18
*
Fix goals font lock keywords.
David Aspinall
2002-07-18
*
Fix sub/sups; defer loading x-symbol-isabelle.
David Aspinall
2002-07-18
*
Fix active variable highlighting in Isabelle with X-Symbol.
David Aspinall
2002-07-18
*
Support subterm help facility
David Aspinall
2002-07-17
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
Add more nags
David Aspinall
2002-07-16
*
Revert some premature changes in x-sym support
David Aspinall
2002-07-16
*
Adjust load order, and try to load a good isar-keywords file. Add several FI...
David Aspinall
2002-07-01
*
Remove auto-mode-alist hack, and require on x-symbol-isabelle [TESTING].
David Aspinall
2002-06-24
*
GPL update
David Aspinall
2002-06-21
*
Fix bug in string syntax in isar-strip-terminators: did this work correctly b...
David Aspinall
2002-06-08
[next]