equal
deleted
inserted
replaced
75 that is of nobody's help. Also proofreading and feedback would be most |
75 that is of nobody's help. Also proofreading and feedback would be most |
76 appreciated. |
76 appreciated. |
77 |
77 |
78 <H3>People to contact</H3> |
78 <H3>People to contact</H3> |
79 |
79 |
80 The project was managed by |
80 The project was (actively) managed by |
81 |
81 |
82 <ul> |
82 <ul> |
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 <li> <A HREF="http://www.cl.cam.ac.uk/~lp15/" target="_top">Larry Paulson</A> (lp15 at cam ac uk) |
84 <li> <A HREF="http://www.cl.cam.ac.uk/~lp15/" target="_top">Larry Paulson</A> (lp15 at cam ac uk) |
85 <li> <A HREF="http://nicta.com.au/people/norrishm" target="_top">Michael Norrish</A> |
85 <li> <A HREF="http://nicta.com.au/people/norrishm" target="_top">Michael Norrish</A> |
87 </ul> |
87 </ul> |
88 |
88 |
89 There is also the following mailing list that is subscribed by all developers |
89 There is also the following mailing list that is subscribed by all developers |
90 and open for help, suggestions etc. about this project. |
90 and open for help, suggestions etc. about this project. |
91 <p> |
91 <p> |
92 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev"> |
92 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev">isabelle-dev@mailman46.in.tum.de</A> |
93 isabelle-dev@mailbroy.informatik.tu-muenchen.de</A> |
|
94 <BR> |
93 <BR> |
95 <p> |
94 <p> |
96 |
95 |
97 <H3>Repository</H3> |
96 <H3>Repository</H3> |
98 |
97 |
99 A preliminary |
98 A |
100 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |
99 <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook" target="_top">repository</A> |
101 is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. |
100 is available and you are very welcome to contribute to it. The current draft of the tutorial is <A HREF="http://talisker.inf.kcl.ac.uk/cgi-bin/repos.cgi/isabelle-cookbook/raw-file/tip/progtutorial.pdf" target="_top" onclick="pageTracker._trackPageview('tutorial');">here</A>. |
102 |
101 |
103 <H3>Stable Version</H3> |
102 <H3>Stable Version</H3> |
104 |
103 |