<HTML><HEAD>
<META content="text/html; charset=windows-1252" http-equiv=Content-Type></HEAD>
<BODY dir=ltr bgColor=#ffffff text=#000000>
<DIV dir=ltr>
<DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'; COLOR: #000000">
<DIV>An obvious question arises.</DIV>
<DIV> </DIV>
<DIV>What are the version control options from INSIDE Oberon (any/all
versions)?</DIV>
<DIV> </DIV>
<DIV>--John R. Strohm</DIV>
<DIV
style='FONT-SIZE: small; TEXT-DECORATION: none; FONT-FAMILY: "Calibri"; FONT-WEIGHT: normal; COLOR: #000000; FONT-STYLE: normal; DISPLAY: inline'>
<DIV style="FONT: 10pt tahoma">
<DIV> </DIV>
<DIV style="BACKGROUND: #f5f5f5">
<DIV style="font-color: black"><B>From:</B> <A title=felix.friedrich@inf.ethz.ch
href="mailto:felix.friedrich@inf.ethz.ch">Felix Friedrich</A> </DIV>
<DIV><B>Sent:</B> Sunday, November 08, 2015 2:44 AM</DIV>
<DIV><B>To:</B> <A title=oberon@lists.inf.ethz.ch
href="mailto:oberon@lists.inf.ethz.ch">ETH Oberon and related systems</A> </DIV>
<DIV><B>Subject:</B> Re: [Oberon] Numerical CASE Statements in Project
Oberon</DIV></DIV></DIV>
<DIV> </DIV></DIV>
<DIV
style='FONT-SIZE: small; TEXT-DECORATION: none; FONT-FAMILY: "Calibri"; FONT-WEIGHT: normal; COLOR: #000000; FONT-STYLE: normal; DISPLAY: inline'><BR>The
team at ETH is using Subversion repositories since some years now. It was one of
the best decisions to use version control. Definitely.<BR><BR>Felix
Friedrich<BR></DIV></DIV></DIV>
<br /><br />
<hr style='border:none; color:#909090; background-color:#B0B0B0; height: 1px; width: 99%;' />
<table style='border-collapse:collapse;border:none;'>
<tr>
<td style='border:none;padding:0px 15px 0px 8px'>
<a href="https://www.avast.com/antivirus">
<img border=0 src="http://static.avast.com/emails/avast-mail-stamp.png" alt="Avast logo" />
</a>
</td>
<td>
<p style='color:#3d4d5a; font-family:"Calibri","Verdana","Arial","Helvetica"; font-size:12pt;'>
This email has been checked for viruses by Avast antivirus software.
<br><a href="https://www.avast.com/antivirus">www.avast.com</a>
</p>
</td>
</tr>
</table>
<br />
</BODY></HTML>