Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Break up or down?

Email Gateway (Dec 03 2021 at 13:19):

From: "Jens-D. Doll" <jens.doll@live.de>
Is there or are there instructions for list users how acquire knowledge
in text system basics, e.g. a) am I allowed to use the return key and b)
when do I have to omit the hack of the key?

Jens, ;-)

Last updated: Jan 04 2025 at 20:18 UTC