| changeset 11235 | 860c65c7388a |
| parent 11206 | 5bea3a8abdc3 |
| child 11256 | 49afcce3bada |
--- a/doc-src/TutorialI/todo.tobias Fri Mar 30 13:29:16 2001 +0200 +++ b/doc-src/TutorialI/todo.tobias Fri Mar 30 16:12:57 2001 +0200 @@ -81,6 +81,8 @@ Appendix with list functions. +All theory sources on the web? + Minor additions to the tutorial, unclear where ==============================================