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

[Christian Sternagel]

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 
welcome.)

cheers

chris

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?
>
> 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
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20130214/39fee952/attachment-0001.html>