3 commits

Author	SHA1	Message	Date
Edwin Groothuis	a2b985d4dc	add SHA256 checksum	2006-06-07 14:19:41 +00:00
Sergey Matveychuk	b445a12fa5	- Update to 2005 ... PR: ports/94671 Submitted by: maintainer	2006-05-01 18:01:58 +00:00
Simon Barner	80bd7289ee	Add isabelle 2004, a generic proof assistant. ... PR: 84859 Submitted by: Timothy Bourke <timbob@bigpond.com>	2005-09-01 10:03:58 +00:00