equal
deleted
inserted
replaced
87 and open for help, suggestions etc. about this project. |
87 and open for help, suggestions etc. about this project. |
88 |
88 |
89 <ul> |
89 <ul> |
90 <li><A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A> |
90 <li><A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A> |
91 </ul> |
91 </ul> |
92 <BR> |
92 |
93 <p> |
|
94 |
93 |
95 <H3>Repository</H3> |
94 <H3>Repository</H3> |
96 |
95 |
97 A |
96 A |
98 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |
97 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |