aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2004-03-29V8/V7 reserved keywords for coqPierre Courtieu
2004-03-23Fix more proofgeneral.orgDavid Aspinall
2004-03-23Updated.David Aspinall
2004-03-23Update dateDavid Aspinall
2004-03-23Intro to 3.5 version, Emacs version updateDavid Aspinall
2004-03-23Update last updated stampDavid Aspinall
2004-03-23Set version tag for new release.David Aspinall
2004-03-23Updated.David Aspinall
2004-03-19 .v7 and .v8 added as coq file possible extensions.Pierre Courtieu
2004-03-19coq < 8.0 menu and abbrevs.Pierre Courtieu
2004-03-18adjusting to new syntax.Pierre Courtieu
2004-03-17coq menu twickingPierre Courtieu
2004-03-17holes debugging.Pierre Courtieu
2004-03-17menu, holes and abbrev made better.Pierre Courtieu
2004-03-16Added 'Notation' stuff to coq menu command insert.Pierre Courtieu
2004-03-16added the abbreviation of Hint Rewrite.Pierre Courtieu
2004-03-16Added one entry in the coq insert command menu (hint rewrite).Pierre Courtieu
2004-03-15bug fix in holes (call to proof-indent-line instead of funcallPierre Courtieu
2004-03-15little bug fix in coq-indent.elPierre Courtieu
2004-03-11added proof-really-save-command-p to coq config, to deal with ProofPierre Courtieu
2004-03-11bug fixes on indenting and command-end-regexp.Pierre Courtieu
2004-03-10fixed coq command-end expression-regexp to deal with the token '..'Pierre Courtieu
2004-03-10holes-short-doc now is in view-mode.Pierre Courtieu
2004-03-10dealing with compile warning for new "hole" code (end hopefully).Pierre Courtieu
2004-03-10modification to avoid compile warnings (end)Pierre Courtieu
2004-03-10slight modif of holes short doc.Pierre Courtieu
2004-03-10added a menu for hole operationsPierre Courtieu
2004-03-10x-get-selection is obsolete for xemacs, made a macroPierre Courtieu
2004-03-10compile warning correctionsPierre Courtieu
2004-03-10bug correctionsPierre Courtieu
2004-03-08indentation for coq completely re-coded, because the generic mechanismPierre Courtieu
2004-03-03Updated.David Aspinall
2004-03-02Fix info installDavid Aspinall
2004-03-02Oops. Fix DEST_PREFIX mistake in paths.David Aspinall
2004-03-02Set version tag for new release.David Aspinall
2004-03-02Fix a few compiler warningsDavid Aspinall
2004-03-02Fix domain.David Aspinall
2004-03-02Purge proofgeneral.orgDavid Aspinall
2004-03-02Switch ?\ -> ?\040 (Joe Corneli reports problem with CVS GNU Emacs)David Aspinall
2004-03-01Fix compiler warningsDavid Aspinall
2004-03-01Remove non-existent proof-state-command settingDavid Aspinall
2004-03-01remove spurious (interactive)David Aspinall
2004-03-01Cleanup top-level forms (unused x binding)David Aspinall
2004-03-01setq-default -> defconst for module-kinds-tableDavid Aspinall
2004-03-01Fix V7.4 -> V74David Aspinall
2004-03-01Updated.David Aspinall
2004-03-01Fix default locationDavid Aspinall
2004-03-01Fix cleanpgscriptsDavid Aspinall
2004-03-01Set to wroking defaultDavid Aspinall
2004-03-01Fix Emacs icon name clash problemDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 13:44:43 +0000