diff -r 47fef41c68fb -r c2ffa1783319 Admin/website/documentation.html --- a/Admin/website/documentation.html Wed Jul 12 17:00:33 2006 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,74 +0,0 @@ - - - - - - - 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. - Why not subscribe? -

-

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.

- -
-
- - - -