Re: [isabelle] ProofGeneral font-lock-mode and antiquoatations




Makarius writes:
 > 
 > With distributed version control (Mercurial), one needs to refer to 
 > versions via the official id -- commit dates don't count.  In Isabelle 
 > development snapshots this is printed as "welcome" message of 
 > isabelle-process or by "isabelle version".

In case of the programming tutorial, the Isabelle version that 
is used for producing the pdf is printed at the end of the
Introduction (though this might not have worked lately; it
works now again). The repository is at 

http://www4.in.tum.de/~urbanc/cgi-bin/repos.cgi/isabelle-cookbook

Christian





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.