aboutsummaryrefslogtreecommitdiffhomepage
path: root/hol-light
Commit message (Expand)AuthorAge
* PastoGravatar David Aspinall2012-02-07
* Start support for both plain and custom top levels (work in progress).Gravatar David Aspinall2012-02-07
* Draft symbol handlingGravatar David Aspinall2012-01-23
* Rename goalstate file for pgGravatar David Aspinall2012-01-20
* Rename fileGravatar David Aspinall2012-01-20
* Hint about changing promptGravatar David Aspinall2012-01-20
* Temporary commit to share file, this is work in progress for ProoftreeGravatar David Aspinall2012-01-19
* Add file from MarkGravatar David Aspinall2012-01-19
* Patch needed temporarily to avoid rebuild of ProoftreeGravatar David Aspinall2012-01-19
* Update documentationGravatar David Aspinall2012-01-19
* Improve configuration for HOL Light. Allow goals display to be prefixed by i...Gravatar David Aspinall2012-01-09
* Make configuration settings. Tweak error regexp.Gravatar David Aspinall2012-01-06
* Some fixes to get a working instance for HOL Light. Work in progress.Gravatar David Aspinall2012-01-05
* UpdatedGravatar David Aspinall2010-10-10
* Experimental hol-light version, not usable yetGravatar David Aspinall2010-09-29
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 00:44:07 +0000