diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2012-01-20 13:15:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2012-01-20 13:15:34 +0000 |
| commit | 531ed46777632759bf2270e131411c87898d8e5e (patch) | |
| tree | d1436ad14ccebf3fc9f72509ca4892daa9e0ae57 /hol-light | |
| parent | c20b167d96f2dbad54f2879f5a1215cca9e730e2 (diff) | |
Rename goalstate file for pg
Diffstat (limited to 'hol-light')
| -rw-r--r-- | hol-light/hol-light.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hol-light/hol-light.el b/hol-light/hol-light.el index 3122360b..001779ca 100644 --- a/hol-light/hol-light.el +++ b/hol-light/hol-light.el @@ -22,7 +22,7 @@ (list (format "#cd \"%s\"" hol-light-home) "#use \"hol.ml\"" (format "#cd \"%s\"" proof-home-directory) - "#use \"pt_tactics.ml\"") + "#use \"pg_tactics.ml\"") "*Commands used to start up a running HOL Light session." :type '(list string) :group 'hol-light) |