Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Tree [4b1545] default Isabelle2011-1 / etc /
History



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