wneuper <walther.neuper@jku.at> [Thu, 29 Apr 2021 17:08:38 +0200] rev 60272
tuned
wneuper <walther.neuper@jku.at> [Thu, 29 Apr 2021 17:05:11 +0200] rev 60271
repair test broken in previous changeset
wneuper <walther.neuper@jku.at> [Thu, 29 Apr 2021 17:02:10 +0200] rev 60270
eliminate "handle _ => ..." finished
wneuper <walther.neuper@jku.at> [Thu, 29 Apr 2021 14:13:11 +0200] rev 60269
eliminate warnings from src/*, finished
wneuper <walther.neuper@jku.at> [Thu, 29 Apr 2021 12:43:50 +0200] rev 60268
eliminate warnings from src/*, part 2
wneuper <walther.neuper@jku.at> [Thu, 29 Apr 2021 11:36:11 +0200] rev 60267
eliminate "handle _ => ..." in Rewrite.rewrite
note: STOP_REW_SUB has become a variable in aa0f0bf98d40
wneuper <walther.neuper@jku.at> [Thu, 29 Apr 2021 09:55:06 +0200] rev 60266
eliminate warnings from src/*, part 1
wneuper <walther.neuper@jku.at> [Wed, 28 Apr 2021 12:38:13 +0200] rev 60265
eliminate "handle _ => ..." by \<^try>CARTOUCHE in src/*
wneuper <walther.neuper@jku.at> [Tue, 27 Apr 2021 19:52:29 +0200] rev 60264
eliminate "handle _ => ..." by more direct ML
wneuper <walther.neuper@jku.at> [Tue, 27 Apr 2021 18:14:02 +0200] rev 60263
tuned