| 2020-03-18 |
wenzelm |
tuned documentation, based on hints by Pedro Sánchez Terraf;
|
file |
diff |
annotate
|
| 2019-01-05 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| 2018-06-06 |
nipkow |
reorient -> split; documented split
|
file |
diff |
annotate
|
| 2018-02-01 |
wenzelm |
clarified signature: prefer proper order operation;
|
file |
diff |
annotate
|
| 2018-01-10 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| 2016-09-07 |
wenzelm |
unfold_abs_def is enabled by default;
|
file |
diff |
annotate
|
| 2016-08-10 |
nipkow |
"split add" -> "split".
|
file |
diff |
annotate
|
| 2016-07-20 |
wenzelm |
provide Pure.simp/simp_all, which only know about meta-equality;
|
file |
diff |
annotate
|
| 2016-07-20 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| 2016-04-13 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
| 2016-04-08 |
wenzelm |
eliminated unused simproc identifier;
|
file |
diff |
annotate
|
| 2016-03-17 |
wenzelm |
obsolete;
|
file |
diff |
annotate
|
| 2016-03-17 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| 2016-03-17 |
wenzelm |
proper ML type;
|
file |
diff |
annotate
|
| 2016-02-23 |
nipkow |
more canonical names
|
file |
diff |
annotate
|
| 2015-11-13 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
| 2015-11-04 |
wenzelm |
more antiquotations;
|
file |
diff |
annotate
|
| 2015-10-20 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| 2015-10-18 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| 2015-10-17 |
wenzelm |
clarified nesting of paragraphs: indentation is taken into account more uniformly;
|
file |
diff |
annotate
|
| 2015-10-16 |
wenzelm |
Markdown support in document text;
|
file |
diff |
annotate
|
| 2015-10-14 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-10-13 |
haftmann |
prod_case as canonical name for product type eliminator
|
file |
diff |
annotate
|
| 2015-10-12 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| 2015-10-12 |
wenzelm |
proper message;
|
file |
diff |
annotate
|
| 2015-06-22 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2015-06-22 |
wenzelm |
added method "sleep";
|
file |
diff |
annotate
|
| 2015-06-15 |
wenzelm |
moved sections;
|
file |
diff |
annotate
|
| 2015-04-03 |
wenzelm |
obsolete (see 8b7caf447357);
|
file |
diff |
annotate
|
| 2015-04-03 |
wenzelm |
more uniform "verbose" option to print name space;
|
file |
diff |
annotate
|
| 2015-04-01 |
wenzelm |
misc tuning -- keep name space more clean;
|
file |
diff |
annotate
|
| 2015-03-30 |
wenzelm |
more uniform syntax for named instantiations;
|
file |
diff |
annotate
|
| 2015-03-23 |
wenzelm |
clarified syntax category "fixes";
|
file |
diff |
annotate
|
| 2015-03-23 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 2015-03-23 |
wenzelm |
support 'for' fixes in rule_tac etc.;
|
file |
diff |
annotate
|
| 2015-03-20 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| 2015-03-04 |
wenzelm |
tuned signature -- prefer qualified names;
|
file |
diff |
annotate
|
| 2015-02-10 |
wenzelm |
proper context for resolve_tac, eresolve_tac, dresolve_tac, forward_tac etc.;
|
file |
diff |
annotate
|
| 2014-11-10 |
wenzelm |
proper context for assume_tac (atac remains as fall-back without context);
|
file |
diff |
annotate
|
| 2014-10-07 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
| 2014-10-05 |
wenzelm |
prefer @{cite} antiquotation;
|
file |
diff |
annotate
|
| 2014-09-11 |
blanchet |
updated news
|
file |
diff |
annotate
|
| 2014-09-11 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|
| 2014-07-21 |
wenzelm |
clarified "simp_trace_new" and corresponding isar-ref section;
|
file |
diff |
annotate
|
| 2014-07-21 |
wenzelm |
more on "Simplifier trace" (by Lars Hupel);
|
file |
diff |
annotate
|
| 2014-04-15 |
wenzelm |
tuned spelling;
|
file |
diff |
annotate
|
| 2014-04-08 |
haftmann |
even more standardized doc session names after #b266e7a86485
|
file |
diff |
annotate
| base
|