wneuper <Walther.Neuper@jku.at> [Tue, 26 Jul 2022 22:29:35 +0200] rev 60493
cleanup after trials on stepwise input to Example
wneuper <Walther.Neuper@jku.at> [Tue, 26 Jul 2022 22:11:41 +0200] rev 60492
questions about parsing in Outer_Syntax.command?Example?
wneuper <Walther.Neuper@jku.at> [Tue, 26 Jul 2022 22:01:40 +0200] rev 60491
test for stepwise input to ?Example?
wneuper <Walther.Neuper@jku.at> [Tue, 26 Jul 2022 21:29:14 +0200] rev 60490
remove ?Problem? from ?Example? avoids redundancy
wneuper <Walther.Neuper@jku.at> [Tue, 26 Jul 2022 19:29:09 +0200] rev 60489
prepare stepwise input to Example (1)
wneuper <Walther.Neuper@jku.at> [Tue, 26 Jul 2022 18:02:22 +0200] rev 60488
Test_Isac works again
wneuper <Walther.Neuper@jku.at> [Sat, 23 Jul 2022 20:05:25 +0200] rev 60487
//continued: investigate Outer_Syntax.command \<^command_keyword>?problem?
wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 12:16:36 +0200] rev 60486
prepare demo for further development
wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 11:56:45 +0200] rev 60485
question about Outer_Syntax.command \<^command_keyword>?Example?
wneuper <Walther.Neuper@jku.at> [Wed, 20 Jul 2022 11:48:38 +0200] rev 60484
investigate Outer_Syntax.command \<^command_keyword>?problem?