aboutsummaryrefslogtreecommitdiffhomepage
path: root/isa/README
Commit message (Expand)AuthorAge
* Set supported versions of Isabelle (remove 99, 2002 versions).Gravatar David Aspinall2004-04-14
* Updated.Gravatar David Aspinall2004-04-14
* Updated.Gravatar David Aspinall2002-08-29
* UpdatedGravatar David Aspinall2002-08-12
* Isabelle2002 instead of Isabelle2001;Gravatar Makarius Wenzel2002-01-21
* updated;Gravatar Makarius Wenzel2001-12-27
* no need to adjust the path to bash on the first line (due to /usr/bin/env);Gravatar Makarius Wenzel2001-09-04
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* updated;Gravatar Makarius Wenzel2001-08-30
* Isabelle version: 99-1;Gravatar Makarius Wenzel2000-09-19
* New/updated information filesGravatar David Aspinall2000-03-13
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09