Oberon

oberon@mailman3.inf.ethz.ch

December 2023

  • 12 participants
  • 26 discussions
Re: [Oberon] Removing WITH
by pfoten.falken0p@icloud.com 31 Dec '23

31 Dec '23
Re (2): Removing WITH
by peter@easthope.ca 31 Dec '23

31 Dec '23
Re: [Oberon] Removing WITH
by peter@easthope.ca 31 Dec '23

31 Dec '23
Removing WITH.
by peter@easthope.ca 31 Dec '23

31 Dec '23
Unneeded restrictions on local procedures
by August Karlstrom 22 Dec '23

22 Dec '23
5 12
0 0
Re: [Oberon] Generality of notation for a number.
by peter@easthope.ca 21 Dec '23

21 Dec '23
Generality of notation for a number.
by peter@easthope.ca 21 Dec '23

21 Dec '23
Unneeded restrictions on local procedures
by Andreas Pirklbauer 21 Dec '23

21 Dec '23