Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/page/main-content/munich.content
changeset 11109 ce1cefc6c14c
parent 10977 4b47d8aaf5af 
--- a/Admin/page/main-content/munich.content	Tue Feb 13 16:05:56 2001 +0100
+++ b/Admin/page/main-content/munich.content	Tue Feb 13 16:31:18 2001 +0100
@@ -24,16 +24,16 @@
 
 <ul>
 
-<li> <a href="http://www.in.tum.de/~bauerg/">Gertrud Bauer</a>
-<li> <a href="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</a>
-<li> <a href="http://www4.in.tum.de/~kleing/">Gerwin Klein</a>
-<li> <a href="http://www4.in.tum.de/~narasche/">Wolfgang Naraschewski</a>
-<li> <a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
-<li> <a href="http://www4.in.tum.de/~oheimb/">David von Oheimb</a>
-<li> <a href="http://www4.in.tum.de/~prensani/">Leonor Prensa Nieto</a>
-<li> <a href="http://www4.in.tum.de/~pusch/">Cornelia Pusch</a>
-<li> <a href="http://www4.in.tum.de/~streckem/">Martin Strecker</a>
-<li> <a href="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</a>
+<li><a href="http://www.in.tum.de/~bauerg/">Gertrud Bauer</a>
+<li><a href="http://www4.in.tum.de/~berghofe/">Stefan Berghofer</a>
+<li><a href="http://www4.in.tum.de/~kleing/">Gerwin Klein</a>
+<li><a href="http://www4.in.tum.de/~narasche/">Wolfgang Naraschewski</a>
+<li><a href="http://www4.in.tum.de/~nipkow/">Tobias Nipkow</a>
+<li><a href="http://www4.in.tum.de/~oheimb/">David von Oheimb</a>
+<li><a href="http://www4.in.tum.de/~prensani/">Leonor Prensa Nieto</a>
+<li><a href="http://www4.in.tum.de/~pusch/">Cornelia Pusch</a>
+<li><a href="http://www4.in.tum.de/~streckem/">Martin Strecker</a>
+<li><a href="http://www4.in.tum.de/~wenzelm/">Markus Wenzel</a>
 
 </ul>
 
@@ -42,10 +42,10 @@
 
 <ul>
 
-<li> <a href="mailto:buttenbe@in.tum.de">Christian Buttenberg</a> </li>
-<li> <a href="http://home.informatik.tu-muenchen.de/~kirsch/">Alexandra Kirsch</a> </li>
-<li> <a href="http://www.informatik.tu-muenchen.de/~nanz/">Sebastian Nanz</a> </li>
-<li> <a href="http://www.informatik.tu-muenchen.de/~pfeifrot/">Johannes Pfeifroth</a> </li>
+<li><a href="mailto:buttenbe@in.tum.de">Christian Buttenberg</a> </li>
+<li><a href="http://home.informatik.tu-muenchen.de/~kirsch/">Alexandra Kirsch</a> </li>
+<li><a href="http://www.informatik.tu-muenchen.de/~nanz/">Sebastian Nanz</a> </li>
+<li><a href="http://www.informatik.tu-muenchen.de/~pfeifrot/">Johannes Pfeifroth</a> </li>
 
 </ul>
 
@@ -56,20 +56,20 @@
 
 <ul>
 
-<li> <b><a href="Bali/index.html">Isabelle/Bali</a></b> Java and JVM
+<li><b><a href="Bali/index.html">Isabelle/Bali</a></b> Java and JVM
 formalization --- type system, semantics, compilers
 
-<li> <b><a href="Isar/index.html">Isabelle/Isar</a></b> Intelligible
+<li><b><a href="Isar/index.html">Isabelle/Isar</a></b> Intelligible
 semi-automated reasoning --- readable formal proof documents
 
 <li><b><a href="IOA/index.html">Isabelle/IOA</a></b> Verification of
 distributed, reactive systems using I/O Automata
 
-<li> <b>Isabelle/HOOL</b> Object-oriented verification of
+<li><b>Isabelle/HOOL</b> Object-oriented verification of
 object-oriented programs
 
-<li> <b><a href="VerifiCard/">Isabelle/VerifiCard</a></b>
-Tool-assisted Specification and Verification of JavaCard® Programs
+<li><b><a href="VerifiCard/">Isabelle/VerifiCard</a></b> Tool-assisted
+Specification and Verification of JavaCard® Programs
 
 </ul>
isabelle