descriptionThe Isabelle repository
ownerisabelle
last changeSat, 20 Jan 2018 15:50:15 +0100
changes
114 minutes ago bulwahn 2018-01-20 add lemma on lists from Falling_Factorial_Sum entry default tip
21 hours ago wenzelm 2018-01-19 merged
21 hours ago wenzelm 2018-01-19 avoid evaluation of embedded comment;
22 hours ago wenzelm 2018-01-19 disable "display" style in marginal (line) comment;
22 hours ago wenzelm 2018-01-19 more uniform output of source / text / theory_text, with handling of formal comments etc.;
26 hours ago wenzelm 2018-01-19 sort completion result;
26 hours ago wenzelm 2018-01-19 recovered antiquotation check without latex mode (cf. dfc93f2b01ea);
26 hours ago wenzelm 2018-01-19 formal treatment of documentation names;
26 hours ago wenzelm 2018-01-19 support for completion;
30 hours ago wenzelm 2018-01-19 adapted to a5ca98950a91;
...
tags
3 months ago Isabelle2017
13 months ago Isabelle2016-1
23 months ago Isabelle2016
2015-05-23 Isabelle2015
2014-08-18 Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
2013-02-11 Isabelle2013
2013-01-08 build_history_base
2012-05-20 Isabelle2012
...
branches
114 minutes ago 14d3163588ae default
...