| 2007-05-08 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2007-03-20 |
haftmann |
updated keywords
|
file |
diff |
annotate
|
| 2007-02-10 |
haftmann |
updated keywords
|
file |
diff |
annotate
|
| 2007-01-28 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2007-01-19 |
wenzelm |
updated
|
file |
diff |
annotate
|
| 2007-01-16 |
haftmann |
updated keywords
|
file |
diff |
annotate
|
| 2006-12-12 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-12-09 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-11-11 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-11-07 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-10-20 |
haftmann |
code_constsubst -> code_axioms
|
file |
diff |
annotate
|
| 2006-10-13 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-10-10 |
haftmann |
added code_abstype and code_constsubst
|
file |
diff |
annotate
|
| 2006-10-02 |
haftmann |
normal_form now a diagnostic command
|
file |
diff |
annotate
|
| 2006-09-25 |
haftmann |
added code_instname
|
file |
diff |
annotate
|
| 2006-09-19 |
haftmann |
code_gen now peek keyword
|
file |
diff |
annotate
|
| 2006-09-18 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-09-01 |
haftmann |
final syntax for some Isar code generator keywords
|
file |
diff |
annotate
|
| 2006-08-29 |
haftmann |
updated keywords
|
file |
diff |
annotate
|
| 2006-08-14 |
haftmann |
updated code generator keywords
|
file |
diff |
annotate
|
| 2006-08-08 |
haftmann |
added code_constname keyword
|
file |
diff |
annotate
|
| 2006-06-14 |
haftmann |
keyword update
|
file |
diff |
annotate
|
| 2006-06-12 |
haftmann |
updated keywords
|
file |
diff |
annotate
|
| 2006-06-06 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-05-16 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-05-13 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-03-14 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-03-14 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-02-27 |
haftmann |
added nbe
|
file |
diff |
annotate
|
| 2006-02-16 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-02-01 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-01-24 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-01-23 |
haftmann |
removed problematic keyword 'atom'
|
file |
diff |
annotate
|
| 2006-01-17 |
haftmann |
substantial improvements in code generator
|
file |
diff |
annotate
|
| 2006-01-07 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2006-01-03 |
haftmann |
class now a keyword
|
file |
diff |
annotate
|
| 2006-01-02 |
wenzelm |
updated -- lost update!?
|
file |
diff |
annotate
|
| 2005-12-29 |
haftmann |
added atom keyword
|
file |
diff |
annotate
|
| 2005-12-29 |
haftmann |
changes in code generator keywords
|
file |
diff |
annotate
|
| 2005-12-09 |
haftmann |
substantial improvements for class code generation
|
file |
diff |
annotate
|
| 2005-12-02 |
haftmann |
adopted keyword for code generator
|
file |
diff |
annotate
|
| 2005-11-22 |
haftmann |
added code generator syntax
|
file |
diff |
annotate
|
| 2005-11-22 |
haftmann |
added code generator syntax
|
file |
diff |
annotate
|
| 2005-10-14 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2005-09-21 |
berghofe |
Added new "value" command.
|
file |
diff |
annotate
|
| 2005-09-01 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2005-08-25 |
berghofe |
Adapted to new code generator syntax.
|
file |
diff |
annotate
|
| 2005-06-17 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2005-06-01 |
ballarin |
Locales: new element constrains, parameter renaming with syntax,
|
file |
diff |
annotate
|
| 2005-05-22 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2005-04-17 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2005-03-24 |
ballarin |
Further work on interpretation commands. New command `interpret' for
|
file |
diff |
annotate
|
| 2005-03-10 |
ballarin |
Registrations of global locale interpretations: improved, better naming.
|
file |
diff |
annotate
|
| 2005-03-09 |
ballarin |
First version of global registration command.
|
file |
diff |
annotate
|
| 2004-12-13 |
nipkow |
added find_rewrites
|
file |
diff |
annotate
|
| 2004-08-18 |
nipkow |
import -> imports
|
file |
diff |
annotate
|
| 2004-08-16 |
nipkow |
Added "import" and "begin"
|
file |
diff |
annotate
|
| 2004-06-13 |
wenzelm |
updated;
|
file |
diff |
annotate
|
| 2004-04-23 |
wenzelm |
updated -- too late for Isabelle2004!
|
file |
diff |
annotate
|
| 2004-04-02 |
ballarin |
Experimental command for instantiation of locales in proof contexts:
|
file |
diff |
annotate
|