From 531ed46777632759bf2270e131411c87898d8e5e Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 20 Jan 2012 13:15:34 +0000 Subject: Rename goalstate file for pg --- hol-light/hol-light.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'hol-light') 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) -- cgit v1.2.3