Re: [isabelle] Help file for commands such as "declare [[show_types]]" because jEdit lacks PG features
On 26.05.2012 03:58, gottfried.barrow at gmx.com wrote:
Being in the habit of using the Acrobat search is what messed me up. The
phrase "find_theorems" is listed in the index, but I had searched on
"find", and it didn't show up in the search, so I didn't even think
about the index.
Many PDF viewers choke on "fi", as generates an fi-ligature instead of
two letters f and i.
This archive was generated by a fusion of
Pipermail (Mailman edition) and