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

[Christian Sternagel]

Here is what I came up with. I merged it with the text of the existing 
overview.html (from there I just dropped the two sentences about PG and 
jEdit).

On 02/14/2013 09:32 PM, Lawrence Paulson wrote:
> 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.
Feel free to drop, move, or modify anything you want (e.g., the example 
session could be on a separate page).

cheers

chris

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: jedit.png
Type: image/png
Size: 29825 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130215/fab7bb6f/attachment-0002.png>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20130215/fab7bb6f/attachment-0002.html>