kpriv/freebsd-ports
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
136271 commits 42 branches 80 tags 2.7 GiB
Commit graph

1 commit

Author SHA1 Message Date
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