Automatically Download Isabelle when not available locally

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

Automatically Download Isabelle when not available locally #9

Open martinring opened 8 years ago

larsrh commented 8 years ago

I've stumbled over this project because Makarius mentioned it on a mailing list. You might be interested in using libisabelle for this; it supports download & extraction of Isabelle in a platform-independent way.

martinring commented 8 years ago

Wow, thank you for the pointer. This is exactly what I need here. :)

larsrh commented 8 years ago

If you need help figuring this out, feel free to join the chat, I'm happy to help.