search

martinring / cobra

Proof and Code Presentation Framework
http://www.flatmap.net/cobra/
GNU Lesser General Public License v3.0
21 stars 3 forks source link

ISABELLE_HOME doesn't get picked up #1

Closed martinring closed 8 years ago