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.
README: Now documents to Tools directory
authorlcp
Fri, 20 Jan 1995 02:00:57 +0100
changeset 869 242b5050c1a6
parent 868 452f1e6ae3bc
child 870 ef6faaa415dc
README: Now documents to Tools directory
README file | annotate | diff | comparison | revisions 
--- a/README	Fri Jan 20 02:00:23 1995 +0100
+++ b/README	Fri Jan 20 02:00:57 1995 +0100
@@ -54,6 +54,7 @@
   COPYRIGHT 	Copyright notice and Disclaimer of Warranty
   Pure		contains source files for Pure Isabelle (no object-logic)
   Provers	contains generic theorem provers: simplifier, etc.
+  Tools		contains shell scripts and utilities 
 
 The following subdirectories contain object-logics:
   FOL 	  Natural deduction First-Order Logic (intuitionistic and classical)
isabelle