[isabelle-dev] introduction to Isabelle/jEdit for PG users?
makarius at sketis.net
Fri Feb 15 14:35:11 CET 2013
On Fri, 15 Feb 2013, Christian Sternagel wrote:
> Here is what I came up with. I merged it with the text of the existing
> overview.html (from there I just dropped the two sentences about PG and
> On 02/14/2013 09:32 PM, Lawrence Paulson wrote:
>> It's looking good, but my personal suggestion is to keep it short. I
>> suspect you may be wanting to run away with it a little.
> Feel free to drop, move, or modify anything you want (e.g., the example
> session could be on a separate page).
I had a very brief look at some version of your overview.html and agree
with Larry it is getting too long as a single web page. I liked the
original arrangement by Larry to have the PG preview as separate document
to be clicked through, although there were always technical issues with
.mov due to QuickTime on non-Apple systems.
We should also avoid sending copies of files via email. Mercurial is
better to manage versions. The official Isabelle website repository is
here: https://bitbucket.org/isabelle_project/isabelle-website -- that
could be cloned to experiment, using existing means of Bitbucket. That
way we also learn a bit more about what Bitbucket has to offer. For
example, it is able to show png images in the changelog: see
More information about the isabelle-dev