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

2 commits

Author SHA1 Message Date
Edwin Groothuis
53354e7e9c SHA256ify 
Approved by: krion@
 2006-01-22 12:59:47 +00:00
Simon Barner
f6925bfda8 Add proofgeneral 3.5, a generic interface for proof assistants. 
PR:		84788
Submitted by:	Timothy Bourke <timbob@bigpond.com>
 2005-08-31 10:36:36 +00:00