Re: [isabelle] PIDE Display of Assumptions

On Fri, 29 Jun 2012, Tobias Nipkow wrote:

Am 29/06/2012 17:27, schrieb Makarius:
See the isar-ref manual for all commands.  The 'help' command also gives you a
complete list.  These things were well-known before Proof General introduced
some menus for some commands > 10 years ago.

A similar decline in culture set in when assembly language arrived and you no longer had to remember opcodes.

Where is the problem remembering the 'help' command, and looking things up in the fine manual?

In the meantime some volunteers can clean up the find_theorems implementation, and make a Scala/Swing wrapper form for its command line.

Some other volunteers can step forward and maintain Isabelle Proof General 4.x, until that has become fully obsolete, which is not the case right now. At the moment it is unmaintained, so it will decay within 1-2 years.


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.