#
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
0f3674bf |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned;
|
#
4feafc8e |
|
10-Oct-2015 |
wenzelm <none@none> |
tuned syntax -- more symbols;
|
#
e1b067ec |
|
10-Oct-2015 |
wenzelm <none@none> |
more symbols;
|
#
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
#
3178c101 |
|
07-Oct-2014 |
wenzelm <none@none> |
more cartouches;
|
#
db5aeb3c |
|
16-Aug-2014 |
wenzelm <none@none> |
prefer 'named_theorems' over Named_Thms, with subtle change of semantics due to visual order vs. internal reverse order;
|
#
ffcd6989 |
|
25-May-2013 |
wenzelm <none@none> |
syntax translations always depend on context;
|
#
97030182 |
|
10-Oct-2012 |
wenzelm <none@none> |
modernized dynamic "rules" -- avoid rebinding of static facts;
|
#
3d1aa88f |
|
22-Oct-2011 |
wenzelm <none@none> |
discontinued redundant ASCII syntax;
|
#
2f768e38 |
|
22-Oct-2011 |
wenzelm <none@none> |
modernized specifications;
|
#
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
|
#
80a964bc |
|
12-Jan-2011 |
wenzelm <none@none> |
eliminated global prems;
|
#
adfe6cf9 |
|
17-Dec-2010 |
wenzelm <none@none> |
replaced command 'nonterminals' by slightly modernized version 'nonterminal';
|
#
308c65f5 |
|
20-Sep-2010 |
wenzelm <none@none> |
renamed structure PureThy to Pure_Thy and moved most content to Global_Theory, to emphasize that this is global-only; --HG-- rename : src/Pure/pure_thy.ML => src/Pure/global_theory.ML
|
#
f8c1d1f1 |
|
21-Feb-2010 |
wenzelm <none@none> |
adapted to authentic syntax;
|
#
aebe6a56 |
|
11-Feb-2010 |
wenzelm <none@none> |
modernized translations; formal markup of @{syntax_const} and @{const_syntax};
|
#
3403212c |
|
08-Feb-2010 |
wenzelm <none@none> |
modernized some syntax translations;
|
#
668b65e4 |
|
18-May-2008 |
wenzelm <none@none> |
setup PureThy.old_appl_syntax_setup -- theory Pure provides regular application syntax by default;
|
#
26e57f9b |
|
30-Sep-2007 |
wenzelm <none@none> |
avoid internal names;
|
#
5db546b2 |
|
26-Apr-2007 |
wenzelm <none@none> |
added header;
|
#
c046356e |
|
07-Oct-2005 |
wenzelm <none@none> |
replaced _K by dummy abstraction;
|
#
40000688 |
|
05-Sep-2005 |
wenzelm <none@none> |
tuned;
|
#
f63418e6 |
|
03-Sep-2005 |
wenzelm <none@none> |
converted to Isar theory format;
|
#
f9142391 |
|
19-Apr-2001 |
paulson <none@none> |
renaming of theory LOmega to lomega2 in order to prevent a possible case confusion
|
#
3c53d47a |
|
20-Jan-1998 |
wenzelm <none@none> |
reorganized into individual theories;
|
#
ae14a9ff |
|
06-Oct-1997 |
wenzelm <none@none> |
"->" made syntax;
|
#
8501d184 |
|
06-Oct-1997 |
wenzelm <none@none> |
syntactic constants;
|
#
268b511e |
|
21-Jun-1995 |
clasohm <none@none> |
removed \...\ inside strings
|
#
ef34eeca |
|
03-May-1994 |
lcp <none@none> |
removal of obsolete type-declaration syntax
|
#
eaef7a44 |
|
04-Oct-1993 |
wenzelm <none@none> |
replaced id by idt; added parse rule for ->; removed ndependent_tr;
|
#
f253ef6a |
|
15-Sep-1993 |
clasohm <none@none> |
Initial revision
|