aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-02-23extended section on Coq tagsThomas Kleymann
1999-02-22Set version tag for new release.David Aspinall
1999-02-22Comments from Healf explaining need for coq-goal-command-pDavid Aspinall
1999-02-22Updated. Explained Coq syntax prob for proof-goal-command-pDavid Aspinall
1999-02-22Mentioned PROOFGENERAL_ASSISTANTSDavid Aspinall
1999-02-22Coq section on tags improved to mention coqtags.David Aspinall
1999-02-22Coq proof mode renamed Coq Proof GeneralDavid Aspinall
1999-02-22Fixed for dvips which sends to printer by default.David Aspinall
1999-02-22DocstringDavid Aspinall
1999-02-22Added hack to fix nested @samp @var problem.David Aspinall
1999-02-22Added PROOFGENERAL_ASSISTANTS. proof-site should *not* need to be edited.David Aspinall
1999-02-22Updated.David Aspinall
1999-02-22Fixed bug by shifting configuration of minor mode for active terminator.David Aspinall
1999-02-22Updated magic. Shorted section name.David Aspinall
1999-02-22Added revised version of text from Healf for Coq. Updated version numbers/au...David Aspinall
1999-02-03fixed syntax entry for "_"Thomas Kleymann
1999-02-01Set version tag for new release.David Aspinall
1999-02-01Idea to have a mailing list for PG.David Aspinall
1999-02-01Regexp bug. Use proof-string-match appropriately.David Aspinall
1999-02-01Improved docstringDavid Aspinall
1999-02-01Fixed matching. Added todo for making some code more generic.David Aspinall
1999-02-01Added test for .thy file match bug.David Aspinall
1999-02-01Fixed comment.David Aspinall
1999-02-01Used proof-string-match for matching against proof script.David Aspinall
1999-02-01Added proof-string-matchDavid Aspinall
1999-02-01Mentioned proof-case-fold-searchDavid Aspinall
1999-02-01Use proof-string-match in (hopefully) appropriate placesDavid Aspinall
1999-02-01Use proof-string-match in appropriate placesDavid Aspinall
1999-02-01Added devel.etags targetDavid Aspinall
1999-02-01Added proof-case-fold-searchDavid Aspinall
1999-02-01Test case for file recognition bug.David Aspinall
1999-01-27Added TODO for syntax matching problem.David Aspinall
1999-01-26Added David von Oheimbs test case for case matchingDavid Aspinall
1999-01-23. Clarified LEGO specific TODOThomas Kleymann
1999-01-21Updated. Time estimates and doc todo.David Aspinall
1999-01-21Updated. Long standing pty overflow bug fixed. We registration page wanted.David Aspinall
1999-01-21Tested piped communication in emacs-20.3David Aspinall
1999-01-21Rearranged into reverse chronological orderDavid Aspinall
1999-01-21Improved test file so that it works correctly with installed LEGO 1.3.1Thomas Kleymann
1999-01-18added Solaris-specific path. Requires LEGO versions more recent than 1.3.1Thomas Kleymann
1999-01-18does indeed crash Proof General, Version 2.1pre990112Thomas Kleymann
1999-01-15Set version tag for new release.David Aspinall
1999-01-15Experimental bug fix for Solaris problemDavid Aspinall
1999-01-15todo for testing solaris bug fixDavid Aspinall
1999-01-15Ambitiously mentioned bug fix for Solaris problemDavid Aspinall
1999-01-15Test has backward slashes now, not forwards ones..David Aspinall
1999-01-15Added putative test for Isabelle and long lines with backslash.David Aspinall
1999-01-15Test file for long lines with backslashes.David Aspinall
1999-01-15Added todo for licence clarification after query from a user.David Aspinall
1999-01-15Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 22:13:42 +0000