Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Replaced LK&Modal by Sequents
authornipkow
Mon, 25 Nov 1996 08:25:39 +0100
changeset 2221 39077a563a82
parent 2220 547d2b58307e
child 2222 a3fb552f10e3
Replaced LK&Modal by Sequents
src/Tools/install_html.sh file | annotate | diff | comparison | revisions 
--- a/src/Tools/install_html.sh	Fri Nov 22 17:46:31 1996 +0100
+++ b/src/Tools/install_html.sh	Mon Nov 25 08:25:39 1996 +0100
@@ -14,7 +14,7 @@
 rcp Tools/*.gif www4:.html-data/isabelle/Tools
 
 if ( "$*" == "" ) then
-  rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF LK Modal ZF \
+  rcp -r CCL CTT Cube FOL FOLP HOL HOLCF LCF Sequents ZF \
          www4:.html-data/isabelle
 else
   rcp -r $* www4:.html-data/isabelle
isabelle