wneuper <Walther.Neuper@jku.at> [Thu, 28 Jul 2022 11:43:27 +0200] rev 60499
trial on "empty" Example
wneuper <Walther.Neuper@jku.at> [Thu, 28 Jul 2022 11:30:53 +0200] rev 60498
pull dropping Problem through, cf. bdca979414b0
wneuper <Walther.Neuper@jku.at> [Wed, 27 Jul 2022 14:14:16 +0200] rev 60497
polish naming
wneuper <Walther.Neuper@jku.at> [Wed, 27 Jul 2022 14:04:04 +0200] rev 60496
tuned
wneuper <Walther.Neuper@jku.at> [Wed, 27 Jul 2022 13:59:58 +0200] rev 60495
polish naming
wneuper <Walther.Neuper@jku.at> [Wed, 27 Jul 2022 13:11:43 +0200] rev 60494
polish naming
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