aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-pgip.el
AgeCommit message (Expand)Author
2018-12-26Make coq-mode work without generic/proof-*Stefan Monnier
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2011-10-17Attempt to support stricter bytecomp flagsDavid Aspinall
2011-01-31Improve handling of dynamic preferences. Addresses Trac #387.David Aspinall
2010-12-16Patch to add pgipfloat type.David Aspinall
2010-08-18Improve messageDavid Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-09-10Experimental changes to queue several commands at once and to allow pre-proce...David Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-07Fix typosDavid Aspinall
2009-09-06Fix compile warningsDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-28Fix compile warningsDavid Aspinall
2009-07-30Use descriptions of help items to set menu tooltips (resolve trac #218)David Aspinall
2008-01-26Updated.David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Rename: proof-show-debug-messages -> proof-general-debug.David Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2007-12-10Fix compile errorsDavid Aspinall
2007-12-09Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...David Aspinall
2006-05-26Updated.David Aspinall
2005-09-30Rename PGIP packet attribute origin -> tagDavid Aspinall
2004-10-05UpdatesDavid Aspinall
2004-08-31Fix backward compatibility with Isabelle 2004.David Aspinall
2004-08-26Fixes for idtablesDavid Aspinall
2004-08-25Extended and updated PGIP support for PGIP 2.XDavid Aspinall
2004-04-15Add 'oldhaspref to update action (settings appears again on Isar menu).David Aspinall
2004-04-14Support 'oldhaspref as alias for 'haspref in PG 3.5.David Aspinall
2004-02-29Beginnings of parsescript supportDavid Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2003-09-24Include class attribute in PGIP commandsDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2002-11-28DocDavid Aspinall
2002-11-20Add pg-issue-pgipDavid Aspinall
2002-11-18Fixup code to interpret default values.David Aspinall
2002-11-14Next iteration: add post-processing step, descriptions in haspref.David Aspinall
2002-11-07Debuggin pg-pgip-haspref.David Aspinall
2002-08-15Fix autoloadDavid Aspinall
2002-06-21GPLDavid Aspinall
2002-03-21Year changesDavid Aspinall
2001-07-09Fix some bugs shown by byte compDavid Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2000-12-07Typo.David Aspinall
2000-12-07Beginnings of pgip processingDavid Aspinall
2000-11-24Functions to process pgip commands.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 09:39:40 +0000