On Mon, 25 Aug 2008, Chris Capel wrote:
The latest sources are always available via
http://isabelle.in.tum.de/repos/isabelle/ which even allows you to
subscribe to the changelog via RSS/Atom, so you can immerse yourself in
tons of fine-grained change messages :-)
You have mentioned CVS
On Mon, 25 Aug 2008, Makarius wrote:
On Sun, 24 Aug 2008, Chris Capel wrote:
I'm thinking about making a new interface to Isabelle, along the lines
of Proof General, but not requiring Emacs (ugh). It would be done in C#
and be for Windows initially, though depending on how I do it it could
On Mon, 25 Aug 2008, Cameron Freer wrote:
One can type a single command from the SAGE commandline to spawn a local
webserver running the notebook interface. I've found the AJAX interface
to be surprisingly clean, responsive, and pleasant, even for those used
to the commandline. Such a
Wow. What a bunch of replies I've stirred up. Now I almost feel
obligated to actually *do* something.
On Mon, Aug 25, 2008 at 04:58, Makarius makarius at sketis.net wrote:
* The Isabelle distribution also provides some tightly fit layer to
integrate the prover process into the JVM platform,
Hi all,
I'm thinking about making a new interface to Isabelle, along the lines
of Proof General, but not requiring Emacs (ugh). It would be done in
C# and be for Windows initially, though depending on how I do it it
could probably be made to work in Linux and other Unixen as well.
First of all,