aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* o Improved error messagesGravatar Thomas Kleymann1998-10-21
* Added code to register fully processed file. Multiple file fix list updatedGravatar David Aspinall1998-10-21
* Isabelle version addedGravatar David Aspinall1998-10-21
* Fixed info directory setting so more robust and works for FSF GNU EmacsGravatar David Aspinall1998-10-21
* Changed from forcing w3 to using customizable browse-urlGravatar David Aspinall1998-10-21
* Changed fset to setq, removed retract-command mention (for now?).Gravatar David Aspinall1998-10-21
* Added functions to support multiple files, sending use_thy to IsabelleGravatar David Aspinall1998-10-21
* Used new get_thy_filenames function from Isabelle 98-1Gravatar David Aspinall1998-10-21
* Added proof-activate-scripting-hook and fixed regexpsGravatar David Aspinall1998-10-21
* todos for multi files and Isabelle annotationsGravatar David Aspinall1998-10-21
* Set version tag for new release.Gravatar David Aspinall1998-10-20
* RevertedGravatar David Aspinall1998-10-20
* Test for new branch commitGravatar David Aspinall1998-10-20
* Added todo for FSF Emacs info fileGravatar David Aspinall1998-10-20
* Changed minibuffer tag to have name of prover instead of ProofGravatar David Aspinall1998-10-20
* Added tar variable. Use make TAR=gnutar <args> on local Suns.Gravatar David Aspinall1998-10-20
* Changed dcsinstall into distinstall. Added comments.Gravatar David Aspinall1998-10-20
* Updated screenshot.Gravatar David Aspinall1998-10-20
* Miscellaneous notes (how to create screen dump)Gravatar David Aspinall1998-10-20
* Isabelle program name is just 'isabelle'Gravatar David Aspinall1998-10-20
* Removed duplicate proofGravatar David Aspinall1998-10-20
* Filename commentGravatar David Aspinall1998-10-20
* dcsinstall copies from DISTBUILDIR instead for local only releaseGravatar David Aspinall1998-10-20
* Added dcsinstall target.Gravatar David Aspinall1998-10-20
* Screenshot is out of dateGravatar Thomas Kleymann1998-10-20
* Changed for proof-script-buffer to proof-script-buffer-listGravatar David Aspinall1998-10-20
* support environmental variable PROOFGENERALGravatar Thomas Kleymann1998-10-19
* reordered two itemsGravatar Thomas Kleymann1998-10-19
* Bug fixes for multiple file code, da/tms.Gravatar David Aspinall1998-10-19
* todo for multiple files in IsabelleGravatar David Aspinall1998-10-19
* Customization for multiple filesGravatar David Aspinall1998-10-19
* Test files for handling multiple files with IsabelleGravatar David Aspinall1998-10-19
* Description of dir contentsGravatar David Aspinall1998-10-19
* Added todo for Isabelle multiple filesGravatar David Aspinall1998-10-19
* Added todo for byte-compilationGravatar David Aspinall1998-10-19
* added specification for a more generic mechanism for large undosGravatar Thomas Kleymann1998-10-18
* support for nested goals is now restricted to CoqGravatar Thomas Kleymann1998-10-18
* relaxed conditions in light of new multiple files supportGravatar Thomas Kleymann1998-10-18
* Reimplemented multiple file proof developmentsGravatar Thomas Kleymann1998-10-18
* *** empty log message ***Gravatar Thomas Kleymann1998-10-18
* Fixed top spacing to match other pages.Gravatar David Aspinall1998-10-15
* added B item for ReleaseGravatar Thomas Kleymann1998-10-15
* Set version tag for new release.Gravatar David Aspinall1998-10-15
* Added index bar with bullet holes.Gravatar David Aspinall1998-10-15
* Added .ignore for documentation targets and intermediates.Gravatar David Aspinall1998-10-15
* *** empty log message ***Gravatar Thomas Kleymann1998-10-15
* *** empty log message ***Gravatar Thomas Kleymann1998-10-15
* Removed web page validate, has been done.Gravatar David Aspinall1998-10-14
* Added word new to release messageGravatar David Aspinall1998-10-14
* Bug in texiGravatar David Aspinall1998-10-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 20:34:14 +0000