makarius committed rISABELLE4974c3697fee: proper NEWS;.Sep 22 2021, 12:03 PM2021-09-22 12:03:59 (UTC+2)

makarius mentioned this in Blog Post: Configuration option "show_results".Sep 22 2021, 12:04 PM2021-09-22 12:04:19 (UTC+2)

makarius mentioned this in Blog Post: Scalable operations for Thm.instantiate and Thm.generalize.Sep 22 2021, 12:08 PM2021-09-22 12:08:33 (UTC+2)

makarius mentioned this in Blog Post: Isabelle/ML "build" combinators.Sep 22 2021, 12:11 PM2021-09-22 12:11:47 (UTC+2)

makarius mentioned this in Blog Post: ML antiquotations for type constructors and term constants.Sep 22 2021, 12:17 PM2021-09-22 12:17:07 (UTC+2)

makarius mentioned this in Blog Post: ML antiquotations for object-logic judgement.Sep 22 2021, 12:52 PM2021-09-22 12:52:07 (UTC+2)