#
ed7a971e |
|
05-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
36e39dcf |
|
26-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
#
adb7736e |
|
22-Nov-2014 |
wenzelm <none@none> |
misc tuning and modernization;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
dac9816f |
|
20-Mar-2014 |
wenzelm <none@none> |
more symbols;
|
#
0844ba95 |
|
30-Aug-2011 |
wenzelm <none@none> |
tuned document;
|
#
1c017ad4 |
|
08-Apr-2011 |
wenzelm <none@none> |
explicit structure Syntax_Trans; discontinued old-style constrainAbsC; --HG-- rename : src/Pure/Syntax/syn_trans.ML => src/Pure/Syntax/syntax_trans.ML
|
#
aebe6a56 |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized translations; formal markup of @{syntax_const} and @{const_syntax};
|
#
079cde2d |
|
17-Oct-2009 |
wenzelm <none@none> |
eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
|
#
a7060872 |
|
17-Jun-2005 |
haftmann <none@none> |
migrated theory headers to new format
|
#
33b1b845 |
|
21-Jun-2004 |
kleing <none@none> |
Merged in license change from Isabelle2004
|
#
694ab6fc |
|
27-Sep-2001 |
wenzelm <none@none> |
tuned;
|
#
66972442 |
|
30-Oct-2000 |
wenzelm <none@none> |
tuned;
|
#
342cf7c2 |
|
13-Jul-2000 |
wenzelm <none@none> |
tuned;
|
#
7719746b |
|
23-Mar-2000 |
wenzelm <none@none> |
ex/Antiquote.thy made new-style theory; removed ex/Antiquote.ML;
|
#
f5d1d358 |
|
24-Aug-1998 |
wenzelm <none@none> |
added Antiquote example;
|