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 (
Collapse
)
Author
Age
*
Update email and web addresses
David Aspinall
2004-02-08
|
*
removed bold, no longer supported by x-symbol
Gerwin Klein
2003-12-23
|
*
allow sub/super scripts in identifiers (\<^isub> and \<^isup>)
Gerwin Klein
2003-10-16
|
*
Remove proof-shell-interactive-input-regexp again!
David Aspinall
2003-10-05
|
*
Set proof-shell-interactive-input-regexp
David Aspinall
2003-10-05
|
*
New files.
David Aspinall
2003-09-24
|
*
Yet another fix from Sebastian Skalberg.
Stefan Berghofer
2003-09-05
|
*
Corrected fix from Sebastian Skalberg.
Stefan Berghofer
2003-08-29
|
*
Fix from Sebastian Skalberg <skalberg@in.tum.de>
David Aspinall
2003-08-28
|
*
Fix SML comment syntax oops
David Aspinall
2003-08-20
|
*
Use newer undo function ProofGeneral.undo (no output undo).
David Aspinall
2003-08-19
|
*
Extend proof-shell-identifier-under-mouse to allow regions, and also depend ↵
David Aspinall
2003-06-08
|
|
|
|
on buffer context.
*
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
|
*
Fix from Gerwin to repair grouping
David Aspinall
2003-05-23
|
*
Version from Gerwin with performance fixes
David Aspinall
2003-05-20
|
*
Version without match save, and disabling isar-match-antiq.
David Aspinall
2003-05-20
|
*
Disable fontification of antiquotation because of buggy interaction with ↵
David Aspinall
2003-04-25
|
|
|
|
font-lock/XEmacs.
*
Remove isa-mode from automode alist, to allow SML mode in preference
David Aspinall
2003-04-15
|
*
Save match data in font-locking function for antiquotations (patch from CW).
David Aspinall
2003-04-15
|
*
New files.
David Aspinall
2003-02-22
|
*
Move x-sym config to x-symbol-isar.el
David Aspinall
2003-02-22
|
*
Documentation.
David Aspinall
2003-02-19
|
*
Updated.
David Aspinall
2003-02-19
|
*
Test with -- short comments. Docs
David Aspinall
2003-02-18
|
*
New files.
David Aspinall
2003-02-18
|
*
Documentation.
David Aspinall
2003-02-18
|
*
Decoration to show off MMM mode
David Aspinall
2003-02-18
|
*
Revert to old isar-ids-to-regexp
David Aspinall
2003-02-17
|
*
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
|
|
|
|
|
- Reordered entries in "show me" menu and added entry for displaying matching introduction rules
*
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
|
*
Remove comment about selecting PG/Isar.
David Aspinall
2002-09-11
|
*
Shorten mode names. Comment about parsing prob.
David Aspinall
2002-09-11
|
*
Source of parsing problem discovered and explained.
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
|
*
Updated.
David Aspinall
2002-08-16
|
*
Use shared span menu
David Aspinall
2002-08-16
|
*
Name changes; span menu extensions; load theorem dependencies patch.
David Aspinall
2002-08-16
|
*
Remove comment at the end testing feature. See etc/isar/Parsing.thy instead.
David Aspinall
2002-08-12
|
*
Enable variable highlighting in case experimental features enabled.
David Aspinall
2002-08-12
|
*
Updated
David Aspinall
2002-08-12
|
[next]