Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Layout


view this post on Zulip Email Gateway (Aug 22 2022 at 10:03):

From: "W. Douglas Maurer" <maurer@gwu.edu>
I hope you're not going to try and force everyone to use the same
layout. That goes against what happens in other segments of the
computing world. Yes, if you work for a large corporation, they have
their standard layout, and everybody who works for that corporation
has to use that layout -- but the layout of every large corporation
is different from that of every other large corporation, so there are
lots of different layouts out there. -WDMaurer

view this post on Zulip Email Gateway (Aug 22 2022 at 10:11):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
No worries, you won't be forced to use those layout rules ;-)

The idea is to provide a consistent set for orientation, not to force anything on people.

Cheers,
Gerwin


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


Last updated: Apr 26 2024 at 20:16 UTC