[isabelle-dev] introduction to Isabelle/jEdit for PG users?

[Lawrence Paulson]

One option is simply for me to update my existing PG-based preview to use Isabelle/jEdit.

At the same time, Christian could perhaps make a webpage by extracting the most important points from his paper.

Does this idea makes sense?

Larry

On 25 Jan 2013, at 10:16, Makarius <makarius at sketis.net> wrote:

> On Fri, 25 Jan 2013, Christian Sternagel wrote:
> 
>>> It might be good to consolidate your main points in a much shorter webpage. Your paper is structured (naturally) as a paper, but for the corresponding webpage I would delete the abstract and most of the introductory material. I wouldn't actually state that Isabelle/jEdit is awesome (such judgements are always up to the reader), but simply outline what the document model is, and how it differs from approaches used in other systems.
>> I agree. Unfortunately, I will not have time to work on it until February 4 (due to paper deadlines). When is the rollout of Isabelle2013 planned?
> 
> Approx. 1 week after the ITP deadline, plus a few more days maybe.  In these remaining weeks, the priority for me is to sort out issues of the release candidates.
> 
> As I've told Larry already privately, I welcome his initiative, and already suggested to think about the http://isabelle.in.tum.de/overview.html slot instead of the README.  Thus the content can be finalized after the release, even updated occasionally until the next release.
> 
> 
>> Another point. Since we are currently testing release candidates of Isabelle/jEdit and thus there are still chances of changes, it might be good to wait with any tutorial, until the testing phase is over?
> 
> I don't plan substantial changes, just sorting out oddities that can be sorted out, without endangering the system integrity in the last moment.
> 
> 
> 	Makarius