equal
deleted
inserted
replaced
83 <li> <A HREF="http://nms.kcl.ac.uk/christian.urban/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk) |
83 <li> <A HREF="http://nms.kcl.ac.uk/christian.urban/" target="_top">Christian Urban</A> (christian.urban at kcl ac uk) |
84 </ul> |
84 </ul> |
85 |
85 |
86 There is also the following mailing list that is subscribed by all developers |
86 There is also the following mailing list that is subscribed by all developers |
87 and open for help, suggestions etc. about this project. |
87 and open for help, suggestions etc. about this project. |
88 <p> |
88 |
89 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A> |
89 <ul> |
|
90 <li><A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A> |
|
91 </ul> |
90 <BR> |
92 <BR> |
91 <p> |
93 <p> |
92 |
94 |
93 <H3>Repository</H3> |
95 <H3>Repository</H3> |
94 |
96 |