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

[Lawrence Paulson]

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.

I hope to update my old animated presentation, based on Proof General, when I get a little time.

Larry

On 14 Feb 2013, at 08:21, Christian Sternagel <c.sternagel at gmail.com> wrote:

> 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
>> 
> 
> <overview.html>