[isabelle-dev] Towards the next release
makarius at sketis.net
Fri Nov 30 20:30:40 CET 2012
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:
He is using a different proof assistant, but the classic Proof General
188.8.131.52. 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.
More information about the isabelle-dev