Wed, 26 Dec 2018 16:25:20 +0100 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
Mon, 20 Aug 2018 20:54:26 +0200 |
nipkow |
avoid session qualification because no tex is generated when used;
|
file |
diff |
annotate
|
Fri, 12 Jan 2018 14:08:53 +0100 |
wenzelm |
isabelle update_cartouches -c;
|
file |
diff |
annotate
|
Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
Tue, 13 Aug 2013 16:25:47 +0200 |
wenzelm |
standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find;
|
file |
diff |
annotate
|
Tue, 04 Dec 2012 12:19:19 +0100 |
nipkow |
tuned defs of sec_xyz
|
file |
diff |
annotate
|
Thu, 20 Oct 2011 09:48:00 +0200 |
nipkow |
renamed name -> vname
|
file |
diff |
annotate
|
Wed, 19 Oct 2011 16:32:12 +0200 |
nipkow |
renamed B to Bc
|
file |
diff |
annotate
|
Mon, 06 Jun 2011 16:29:38 +0200 |
kleing |
imported rest of new IMP
|
file |
diff |
annotate
|