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

Memory leak: Obsolete Isabelle sessions are not terminated on reload #23

Open martinring opened 8 years ago