Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] "end" keyword in jEdit Started auction theory ...

view this post on Zulip Email Gateway (Aug 19 2022 at 09:10):

From: Christoph LANGE <c.lange@cs.bham.ac.uk>
Hi Makarius,

2012-11-01 02:07 Tim (McKenzie) Makarios:

First, Vickrey.thy didn't end with "end", which was easy to fix.

I had no idea, as jEdit didn't warn me. Is this a bug or a feature?

Cheers,

Christoph

Last updated: Nov 21 2024 at 12:39 UTC