aboutsummaryrefslogtreecommitdiffstats
path: root/math/isabelle
Commit message (Expand)AuthorAgeFilesLines
* Fix plist: don't remove nls/en_US.US-ASCII or nls/POSIXshaun2006-06-231-2/+0
* add SHA256 checksumedwin2006-06-071-0/+3
* - Update to 2005sem2006-05-028-3263/+3324
* Add isabelle 2004, a generic proof assistant.barner2005-09-019-0/+4176