| #
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;
|