# HG changeset patch # User wenzelm # Date 931951941 -7200 # Node ID 46048223e0f9014730c85e0ea8250c64a1137517 # Parent cc778d613217b99ca2866eb509b26fb986ab8512 tuned; diff -r cc778d613217 -r 46048223e0f9 src/HOL/Isar_examples/README.html --- a/src/HOL/Isar_examples/README.html Wed Jul 14 13:07:09 1999 +0200 +++ b/src/HOL/Isar_examples/README.html Wed Jul 14 13:32:21 1999 +0200 @@ -15,9 +15,9 @@

-Note that the theory files are basically the plain ASCII sources of -what is meant to be actual typeset documents. Automatic LaTeX / PDF -pretty printing is not yet available. +Note that the theory files are basically just plain ASCII sources of +what are meant to be actual typeset documents. Automatic LaTeX / PDF +pretty printing will be available in the near future.