Tobias
On 08/10/2014 00:25, Makarius wrote:
*** System ***
* The Isabelle tool "update_cartouches" changes theory files to use cartouches
instead of old-style {* verbatim *} or `alt_string` tokens.
This refers to Isabelle/fffdbce036db. In the subsequent changesets, I have
modernized a few of my own hotspots accordingly, but refrained from large-scale
updates of theory sources.
The tool emerged from the observation that a few people have already started to
use cartouches even in main HOL.
It should be noted that Proof General cannot step through such files, so it
needs to general plan how to proceed. Is now the time to delete Proof General
and the TTY loop?
Makarius
----------------------------------------------------------------------------
http://stop-ttip.org
----------------------------------------------------------------------------
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
