aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1998-10-29More scholarly notes (ha-ha).David Aspinall
1998-10-29Added some notes about a putative academic paper on Proof GeneralDavid Aspinall
1998-10-29Crudely hacked Isabelle image onto splash screen.David Aspinall
1998-10-29Items removed, items added.David Aspinall
1998-10-29Added plain isabelle imageDavid Aspinall
1998-10-29Fixed bug in proof-shell-process-urgent-message (preserve point).David Aspinall
1998-10-29Begun work on adding more special annotations for Isabelle.David Aspinall
1998-10-29Clarifying comment about obscure variable addedDavid Aspinall
1998-10-29Begun section on adding new assistantDavid Aspinall
1998-10-29More hacks to variable names for customize (sorry)David Aspinall
1998-10-29Added tags targetDavid Aspinall
1998-10-29Fixed requires for FSF Emacs.David Aspinall
1998-10-29Added prefixes in custom defgroups.David Aspinall
1998-10-28Improved behaviour of Isabelle multiple files: don't retract parent theory.David Aspinall
1998-10-28Images for texi fileDavid Aspinall
1998-10-28Some experimental code addedDavid Aspinall
1998-10-28Added low-level priority todoDavid Aspinall
1998-10-28Begun rewriting docsDavid Aspinall
1998-10-28Added autoload for proof-shell-available-pDavid Aspinall
1998-10-28Added proof-toolbar-follow-mode user option and functions to supportDavid Aspinall
1998-10-28Added customize group for Proof General faces and fixed otherDavid Aspinall
1998-10-28Fixed bug in Isabelle count undos. Now uses undo instead of choplev.David Aspinall
1998-10-28Set version tag for new release.proofgen
1998-10-28Set version tag for new release.proofgen
1998-10-28rearranged code to avoid compiler warning messagesThomas Kleymann
1998-10-27CommentsDavid Aspinall
1998-10-27Added generic target <develtarget>.develDavid Aspinall
1998-10-27Byte comp itemDavid Aspinall
1998-10-27Continuing mods for cleaner byte compileDavid Aspinall
1998-10-27Mods for cleaner byte compileDavid Aspinall
1998-10-27Removed junk from cvs mergeDavid Aspinall
1998-10-27Splash screen added back. Put in Xemacs test for noninteractive toDavid Aspinall
1998-10-27More fixes for cleaner byte compile.David Aspinall
1998-10-27Removed eval-when-compile around define-derived-mode, it don't work.David Aspinall
1998-10-27Made handling of multiple files more robust. On changing scriptThomas Kleymann
1998-10-27Fixed up proof-script.el for clean byte compileDavid Aspinall
1998-10-27typoDavid Aspinall
1998-10-27Fix of byte compiler warnings for proof-script.el.David Aspinall
1998-10-27Demoted some priorities to X and moved down listDavid Aspinall
1998-10-27Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.David Aspinall
1998-10-27Fixes for clean byte compileDavid Aspinall
1998-10-27Improved ELC setting. Added 'make all' target to compile .elcs separately.David Aspinall
1998-10-27Added more comments to proof-activate-scriptingDavid Aspinall
1998-10-27Added instructions for byte compilation, and other notes.David Aspinall
1998-10-27Added FIXME question about moving point.David Aspinall
1998-10-27Removed bug introduced by da trying to do clever optimizationsDavid Aspinall
1998-10-27Temp disable splashDavid Aspinall
1998-10-27Fixed assert-until-point for ignore-process caseDavid Aspinall
1998-10-27Added devel targets for convenienceDavid Aspinall
1998-10-27Fixup repository messDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 21:46:08 +0000