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
*
Add imenu support.
David Aspinall
2004-04-14
*
Func-menu: fix bug in locale regexp. 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
*
Fixes for function menu. Remove unnamed entities.
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
*
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 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
*
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 font...
David Aspinall
2003-04-25
*
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
*
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
[next]