From ac2877ccc9aee1badb3362dccf31477ac23e663a Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Sun, 14 Jul 2002 13:13:29 +0000 Subject: ws --- hol98/hol98.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'hol98') diff --git a/hol98/hol98.el b/hol98/hol98.el index 937cbb87..d18135a9 100644 --- a/hol98/hol98.el +++ b/hol98/hol98.el @@ -155,4 +155,4 @@ (warn "Hol Proof General is incomplete! Please help improve it! Read the manual, make improvements and send them to proofgen@dcs.ed.ac.uk") -(provide 'hol98) \ No newline at end of file +(provide 'hol98) -- cgit v1.2.3