[isabelle-dev] introduction to Isabelle/jEdit for PG users?
c.sternagel at gmail.com
Thu Feb 14 09:21:07 CET 2013
Please consult the attached file for a first suggestion for the overview
page. (Just to make sure that I'm on the right track; if so I will
continue tomorrow ... today my wife won't allow ;); comments are most
On 01/25/2013 09:21 PM, Lawrence Paulson wrote:
> 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?
> 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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the isabelle-dev