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

Christian Sternagel c.sternagel at gmail.com
Fri Feb 15 07:47:22 CET 2013

I just noticed that the first few lines of the text on index.html and 
overview.html are identical. That's a bit odd.



On 02/15/2013 03:27 PM, Christian Sternagel wrote:
> 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>

More information about the isabelle-dev mailing list