Walther Neuper <wneuper@ist.tugraz.at> [Sat, 03 Feb 2018 11:49:26 +0100] rev 59339
comment by Makarius
Re: [isabelle] A mystery of resolution. Fri, 2 Feb 2018 15:46:36 +0100
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 16:53:23 +0100] rev 59338
------ Interpret/Interpret.thy builds again
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 16:39:22 +0100] rev 59337
------ PolyML.makestring discontinued
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 16:35:32 +0100] rev 59336
------ print_depth became a configuration option
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 15:46:26 +0100] rev 59335
------ eq_thy changes to other module
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 15:18:41 +0100] rev 59334
------ line breaks within syntax def disallowed
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 15:07:58 +0100] rev 59333
------ ProgLang/ListC.thy builds again
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 13:19:01 +0100] rev 59332
------ KEStore.thy builds again
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 13:00:40 +0100] rev 59331
====== Pure and HOL build with updated thm.ML
Walther Neuper <wneuper@ist.tugraz.at> [Sat, 20 Jan 2018 10:56:23 +0100] rev 59330
------ this is (again?) from original Isabelle2017