diff -r 8a12e11d222b -r e634d33deb86 Admin/website/dist/documentation.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/website/dist/documentation.html Sat Jun 04 10:26:08 2005 +0200 @@ -0,0 +1,72 @@ + + + + + + + Documentation + + + + + +
+ +
+ +
+ +

Getting started

+ + + Cover + +

For getting started with Isabelle quickly, we recommend the Tutorial on + Isabelle/HOL (published by Springer Verlag as LNCS 2283) and the course material.

+
+ +

Mailing list and FAQ

+ +

You may use the mailing list isabelle-users@cl.cam.ac.uk and its + archive to discuss + problems and results. To subscribe, + contact Larry Paulson.

+

Please consult the FAQ for answers to frequent + problems.

+ +

Isabelle Documentation

+ +

documentation is + included here as browsable PDF for convenience. These documents are also part + of the standard Isabelle distribution.

+ + + +

Release notes

+ + + +

Course Material and Exercises

+

The course material page makes + slides, demos, and exercises of a growing number of Isabelle courses + available. It is meant as a resource for people who would like to learn + Isabelle as well as for those who would like to teach it.

+ +
+
+ + + +