index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
generic
/
pg-pgip.el
Age
Commit message (
Expand
)
Author
2004-04-15
Add 'oldhaspref to update action (settings appears again on Isar menu).
David Aspinall
2004-04-14
Support 'oldhaspref as alias for 'haspref in PG 3.5.
David Aspinall
2004-02-29
Beginnings of parsescript support
David Aspinall
2004-02-08
Update email and web addresses
David Aspinall
2003-09-24
Include class attribute in PGIP commands
David Aspinall
2003-02-24
Fix some compile errors
David Aspinall
2002-11-28
Doc
David Aspinall
2002-11-20
Add pg-issue-pgip
David Aspinall
2002-11-18
Fixup code to interpret default values.
David Aspinall
2002-11-14
Next iteration: add post-processing step, descriptions in haspref.
David Aspinall
2002-11-07
Debuggin pg-pgip-haspref.
David Aspinall
2002-08-15
Fix autoload
David Aspinall
2002-06-21
GPL
David Aspinall
2002-03-21
Year changes
David Aspinall
2001-07-09
Fix some bugs shown by byte comp
David Aspinall
2001-05-08
Copyright date updated
David Aspinall
2000-12-07
Typo.
David Aspinall
2000-12-07
Beginnings of pgip processing
David Aspinall
2000-11-24
Functions to process pgip commands.
David Aspinall