aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-pgip.el
AgeCommit message (Expand)Author
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-02-10 01:30:31 +0000