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 <makar...@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 _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
