| Tue, 16 Jan 2018 09:30:00 +0100 | wenzelm | standardized towards new-style formal comments: isabelle update_comments; | file | diff | annotate |
| Fri, 30 Sep 2016 15:35:37 +0200 | hoelzl | HOL-Analysis: move Product_Vector and Inner_Product from Library | file | diff | annotate |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Thu, 10 Mar 2016 17:30:04 +0100 | wenzelm | prefer plain "isabelle" from PATH within Isabelle settings environment; | file | diff | annotate |
| Wed, 09 Mar 2016 19:30:09 +0100 | wenzelm | isabelle.Build uses ML_Process directly; | file | diff | annotate |
| Sat, 28 Jul 2012 20:36:25 +0200 | wenzelm | separate session HOL-Mirabelle-ex -- cannot run isolated shell scripts within build tool; | file | diff | annotate |