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.

Tobias





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