index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
pg-pgip.el
Commit message (
Expand
)
Author
Age
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Attempt to support stricter bytecomp flags
David Aspinall
2011-10-17
*
Improve handling of dynamic preferences. Addresses Trac #387.
David Aspinall
2011-01-31
*
Patch to add pgipfloat type.
David Aspinall
2010-12-16
*
Improve message
David Aspinall
2010-08-18
*
Checkdoc cleanups
David Aspinall
2010-08-08
*
Experimental changes to queue several commands at once and to allow pre-proce...
David Aspinall
2009-09-10
*
Clean compile
David Aspinall
2009-09-10
*
Fix typos
David Aspinall
2009-09-07
*
Fix compile warnings
David Aspinall
2009-09-06
*
Clean whitespace
David Aspinall
2009-09-05
*
Fix compile warnings
David Aspinall
2009-08-28
*
Use descriptions of help items to set menu tooltips (resolve trac #218)
David Aspinall
2009-07-30
*
Updated.
David Aspinall
2008-01-26
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Rename: proof-show-debug-messages -> proof-general-debug.
David Aspinall
2007-12-14
*
Emacs compatibility/API updates: string-to-int -> string-to-number
David Aspinall
2007-12-10
*
Fix compile errors
David Aspinall
2007-12-10
*
Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...
David Aspinall
2007-12-09
*
Updated.
David Aspinall
2006-05-26
*
Rename PGIP packet attribute origin -> tag
David Aspinall
2005-09-30
*
Updates
David Aspinall
2004-10-05
*
Fix backward compatibility with Isabelle 2004.
David Aspinall
2004-08-31
*
Fixes for idtables
David Aspinall
2004-08-26
*
Extended and updated PGIP support for PGIP 2.X
David Aspinall
2004-08-25
*
Add 'oldhaspref to update action (settings appears again on Isar menu).
David Aspinall
2004-04-15
*
Support 'oldhaspref as alias for 'haspref in PG 3.5.
David Aspinall
2004-04-14
*
Beginnings of parsescript support
David Aspinall
2004-02-29
*
Update email and web addresses
David Aspinall
2004-02-08
*
Include class attribute in PGIP commands
David Aspinall
2003-09-24
*
Fix some compile errors
David Aspinall
2003-02-24
*
Doc
David Aspinall
2002-11-28
*
Add pg-issue-pgip
David Aspinall
2002-11-20
*
Fixup code to interpret default values.
David Aspinall
2002-11-18
*
Next iteration: add post-processing step, descriptions in haspref.
David Aspinall
2002-11-14
*
Debuggin pg-pgip-haspref.
David Aspinall
2002-11-07
*
Fix autoload
David Aspinall
2002-08-15
*
GPL
David Aspinall
2002-06-21
*
Year changes
David Aspinall
2002-03-21
*
Fix some bugs shown by byte comp
David Aspinall
2001-07-09
*
Copyright date updated
David Aspinall
2001-05-08
*
Typo.
David Aspinall
2000-12-07
*
Beginnings of pgip processing
David Aspinall
2000-12-07
*
Functions to process pgip commands.
David Aspinall
2000-11-24