equal
deleted
inserted
replaced
73 project you like to implement. Above all we like to help future users and |
73 project you like to implement. Above all we like to help future users and |
74 developers of Isabelle; we do not want to end up with some "artificial documentation" |
74 developers of Isabelle; we do not want to end up with some "artificial documentation" |
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>Contact</H3> |
79 |
79 |
80 The project was (actively) managed by |
80 I am trying to stay on top of things, but no promises: |
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) |
|
85 <li> <A HREF="http://nicta.com.au/people/norrishm" target="_top">Michael Norrish</A> |
|
86 (Michael.Norrish at nicta com au) |
|
87 </ul> |
84 </ul> |
88 |
85 |
89 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 |
90 and open for help, suggestions etc. about this project. |
87 and open for help, suggestions etc. about this project. |
91 <p> |
88 <p> |