Tree [0b0f24] default Isabelle2012 / etc /
 History



File Date Author Commit
 settings 2011-08-30 haftmann haftmann [5b970f] rudimentary support for AFP as Isabelle component

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks