On Fri, 30 Nov 2012, Lawrence Paulson wrote:
Doubtless some student enjoys tinkering with video formats and could
make a five-minute video that simply answers the question, how do I get
started? What are the main interaction modes? And maybe touches on some
of the more advanced features.
I had pointed to this before, but it still fun to watch:
http://www.youtube.com/user/bauerandrej
He is using a different proof assistant, but the classic Proof General
3.7.1.1. So this guy actually has an Isabelle distribution around as well.
The last official version of the 3.x branch was 3.7.1, and I made this
"temporary lifetime extension" for the Isabelle distribution in
desparation when the Emacs platform was moving forward, but PG 4.x was
still not to be seen to catch up.
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
