| changeset 10845 | 3696bc935bbd |
| parent 10676 | 06f390008ceb |
| child 10855 | 140a1ed65665 |
--- a/doc-src/TutorialI/todo.tobias Wed Jan 10 11:07:11 2001 +0100 +++ b/doc-src/TutorialI/todo.tobias Wed Jan 10 11:08:29 2001 +0100 @@ -75,6 +75,8 @@ Minor additions to the tutorial, unclear where ============================================== +case_tac on bool? + Tacticals: , ? + Note: + is used in typedef section!