aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-pgip.el
Commit message (Expand)AuthorAge
* Make coq-mode work without generic/proof-*Gravatar Stefan Monnier2018-12-26
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Attempt to support stricter bytecomp flagsGravatar David Aspinall2011-10-17
* Improve handling of dynamic preferences. Addresses Trac #387.Gravatar David Aspinall2011-01-31
* Patch to add pgipfloat type.Gravatar David Aspinall2010-12-16
* Improve messageGravatar David Aspinall2010-08-18
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Experimental changes to queue several commands at once and to allow pre-proce...Gravatar David Aspinall2009-09-10
* Clean compileGravatar David Aspinall2009-09-10
* Fix typosGravatar David Aspinall2009-09-07
* Fix compile warningsGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Fix compile warningsGravatar David Aspinall2009-08-28
* Use descriptions of help items to set menu tooltips (resolve trac #218)Gravatar David Aspinall2009-07-30
* Updated.Gravatar David Aspinall2008-01-26
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Rename: proof-show-debug-messages -> proof-general-debug.Gravatar David Aspinall2007-12-14
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
* Fix compile errorsGravatar David Aspinall2007-12-10
* Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...Gravatar David Aspinall2007-12-09
* Updated.Gravatar David Aspinall2006-05-26
* Rename PGIP packet attribute origin -> tagGravatar David Aspinall2005-09-30
* UpdatesGravatar David Aspinall2004-10-05
* Fix backward compatibility with Isabelle 2004.Gravatar David Aspinall2004-08-31
* Fixes for idtablesGravatar David Aspinall2004-08-26
* Extended and updated PGIP support for PGIP 2.XGravatar David Aspinall2004-08-25
* Add 'oldhaspref to update action (settings appears again on Isar menu).Gravatar David Aspinall2004-04-15
* Support 'oldhaspref as alias for 'haspref in PG 3.5.Gravatar David Aspinall2004-04-14
* Beginnings of parsescript supportGravatar David Aspinall2004-02-29
* Update email and web addressesGravatar David Aspinall2004-02-08
* Include class attribute in PGIP commandsGravatar David Aspinall2003-09-24
* Fix some compile errorsGravatar David Aspinall2003-02-24
* DocGravatar David Aspinall2002-11-28
* Add pg-issue-pgipGravatar David Aspinall2002-11-20
* Fixup code to interpret default values.Gravatar David Aspinall2002-11-18
* Next iteration: add post-processing step, descriptions in haspref.Gravatar David Aspinall2002-11-14
* Debuggin pg-pgip-haspref.Gravatar David Aspinall2002-11-07
* Fix autoloadGravatar David Aspinall2002-08-15
* GPLGravatar David Aspinall2002-06-21
* Year changesGravatar David Aspinall2002-03-21
* Fix some bugs shown by byte compGravatar David Aspinall2001-07-09
* Copyright date updatedGravatar David Aspinall2001-05-08
* Typo.Gravatar David Aspinall2000-12-07
* Beginnings of pgip processingGravatar David Aspinall2000-12-07
* Functions to process pgip commands.Gravatar David Aspinall2000-11-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 17:16:53 +0000