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
wneuper <walther.neuper@jku.at> [Tue, 27 Apr 2021 18:09:22 +0200] rev 60262
eliminate "handle _ => ..." from Rewrite.rewrite
wneuper <walther.neuper@jku.at> [Mon, 26 Apr 2021 14:16:35 +0200] rev 60261
prep.eliminate "handle _ => ..." from Rewrite.rewrite
note: unify and shorten tracing
wneuper <walther.neuper@jku.at> [Sun, 25 Apr 2021 12:49:37 +0200] rev 60260
cleanup remaining ^^^ in comments, finished (?)
(?) see TODO.md
wneuper <walther.neuper@jku.at> [Sun, 25 Apr 2021 12:03:49 +0200] rev 60259
eliminate "handle _ => ..." by \<^try>CARTOUCHE in Libisabelle/interface.sml for tests
note: the tests do not involve Isabelle/PIDE, thus this changeset has probably no effect.
wneuper <walther.neuper@jku.at> [Sat, 24 Apr 2021 15:59:54 +0200] rev 60258
purge XML output from pbl- and met-hierarchies, finished