Re: [isabelle] PIDE Display of Assumptions

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.


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