| Download | 
|  Latest Draft | 
| People Who Contributed So Far | 
| Christian Urban | 
| Stefan Berghofer | 
| Jasmin Blanchette | 
| Sascha Böhme | 
| Jeremy Dawson | 
| Armin Heller | 
| Alexander Krauss | 
| Tobias Nipkow | 
| Michael Norrish | 
| Christian Sternagel | 
| Feedback | 
| What early readers said | 
| Workshops | 
| First Isabelle Developers Workshop | 
| Second Isabelle Developers Workshop |