changeset 10995 | ef0b521698b7 |
parent 10983 | 59961d32b1ae |
child 11158 | 5652018b809a |
--- a/doc-src/TutorialI/todo.tobias Mon Jan 29 19:24:17 2001 +0100 +++ b/doc-src/TutorialI/todo.tobias Mon Jan 29 22:25:45 2001 +0100 @@ -35,6 +35,8 @@ Minor fixes in the tutorial =========================== +warning: simp of asms from l to r; may require reordering (rotate_tac) + Adjust FP textbook refs: new Bird, Hudak Discrete math textbook: Rosen?