| Fri, 12 Aug 2016 17:53:55 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Thu, 11 Aug 2016 18:26:44 +0200 |
wenzelm |
clarified antiquotations;
|
file |
diff |
annotate
|
| Wed, 20 Jul 2016 21:26:11 +0200 |
wenzelm |
clarified imports;
|
file |
diff |
annotate
|
| Sat, 11 Jun 2016 16:41:11 +0200 |
wenzelm |
clarified syntax;
|
file |
diff |
annotate
|
| Mon, 30 May 2016 20:58:16 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 30 May 2016 14:15:44 +0200 |
wenzelm |
allow 'for' fixes for multi_specs;
|
file |
diff |
annotate
|
| Wed, 13 Apr 2016 18:01:05 +0200 |
wenzelm |
eliminated "xname" and variants;
|
file |
diff |
annotate
|
| Mon, 01 Feb 2016 23:52:06 +0100 |
blanchet |
updated HOL-specific section w.r.t. datatypes
|
file |
diff |
annotate
|
| Wed, 20 Jan 2016 00:06:48 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Sun, 10 Jan 2016 20:29:12 -0800 |
kleing |
isar-ref entry for print_record
|
file |
diff |
annotate
|
| Fri, 13 Nov 2015 14:49:30 +0100 |
wenzelm |
more uniform jEdit properties;
|
file |
diff |
annotate
|
| Thu, 22 Oct 2015 21:16:49 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| Tue, 20 Oct 2015 23:53:40 +0200 |
wenzelm |
isabelle update_cartouches -t;
|
file |
diff |
annotate
|
| Sun, 18 Oct 2015 22:57:09 +0200 |
wenzelm |
more control symbols;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2015 19:26:34 +0200 |
wenzelm |
clarified nesting of paragraphs: indentation is taken into account more uniformly;
|
file |
diff |
annotate
|
| Fri, 16 Oct 2015 14:53:26 +0200 |
wenzelm |
Markdown support in document text;
|
file |
diff |
annotate
|
| Wed, 14 Oct 2015 15:10:32 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 22:03:24 +0200 |
wenzelm |
more symbols;
|
file |
diff |
annotate
|
| Mon, 12 Oct 2015 21:42:14 +0200 |
wenzelm |
redundant due to \parindent 0pt;
|
file |
diff |
annotate
|
| Fri, 09 Oct 2015 01:44:29 +0200 |
kuncar |
documentation for transfer debug methods
|
file |
diff |
annotate
|
| Fri, 25 Sep 2015 23:39:08 +0200 |
wenzelm |
documentation for "Semantic subtype definitions";
|
file |
diff |
annotate
|
| Thu, 24 Sep 2015 13:33:42 +0200 |
wenzelm |
explicit indication of overloaded typedefs;
|
file |
diff |
annotate
|
| Tue, 04 Aug 2015 12:19:41 +0200 |
traytel |
more documentation of coercions
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 21:36:52 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 20:19:29 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 20:07:41 +0200 |
wenzelm |
clarified sections;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 20:05:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 20:00:42 +0200 |
wenzelm |
clarified sections;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 19:49:34 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 14:26:48 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 11:54:53 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 11:48:56 +0200 |
wenzelm |
clarified sections;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 11:39:41 +0200 |
wenzelm |
clarified section references;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 11:32:15 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 11:24:06 +0200 |
wenzelm |
clarified sections;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 10:56:14 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 06 Jul 2015 10:54:15 +0200 |
wenzelm |
tuned whitespace;
|
file |
diff |
annotate
|
| Fri, 19 Jun 2015 20:14:50 +0200 |
wenzelm |
discontinued unused 'defer_recdef';
|
file |
diff |
annotate
|
| Mon, 04 May 2015 16:04:28 +0200 |
kuncar |
update isar-ref on Lifting
|
file |
diff |
annotate
|
| Fri, 03 Apr 2015 19:56:51 +0200 |
wenzelm |
more uniform "verbose" option to print name space;
|
file |
diff |
annotate
|
| Wed, 01 Apr 2015 23:59:56 +0200 |
wenzelm |
misc tuning -- keep name space more clean;
|
file |
diff |
annotate
|
| Sun, 29 Mar 2015 21:47:16 +0200 |
wenzelm |
ind_cases: clarified preparation of arguments;
|
file |
diff |
annotate
|
| Mon, 23 Mar 2015 17:01:47 +0100 |
wenzelm |
clarified syntax category "fixes";
|
file |
diff |
annotate
|
| Mon, 23 Mar 2015 15:55:41 +0100 |
wenzelm |
tuned syntax diagrams -- no duplication of "target";
|
file |
diff |
annotate
|
| Fri, 06 Feb 2015 17:57:03 +0100 |
haftmann |
default abstypes and default abstract equations make technical (no_code) annotation superfluous
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 21:29:59 +0200 |
wenzelm |
more cartouches;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 22:24:07 +0200 |
wenzelm |
prefer @{cite} antiquotation;
|
file |
diff |
annotate
|
| Thu, 18 Sep 2014 16:47:40 +0200 |
blanchet |
moved 'old_datatype' out of 'Main' (but put it in 'HOL-Proofs' because of the inductive realizer)
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'rep_datatype' to 'old_rep_datatype' (HOL)
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 18:54:36 +0200 |
blanchet |
renamed 'datatype' to 'old_datatype'; 'datatype' is now alias for 'datatype_new'
|
file |
diff |
annotate
|
| Sun, 31 Aug 2014 09:10:41 +0200 |
haftmann |
restored generic value slot, retaining default behaviour and separate approximate command
|
file |
diff |
annotate
|
| Wed, 30 Jul 2014 16:44:54 +0200 |
kuncar |
update documentation for Lifting/Transfer
|
file |
diff |
annotate
|
| Fri, 04 Jul 2014 15:50:28 +0200 |
wenzelm |
revived unchecked theory (see cebaf814ca6e);
|
file |
diff |
annotate
|
| Wed, 02 Jul 2014 13:06:07 +0200 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| Tue, 01 Jul 2014 21:07:02 +0200 |
wenzelm |
clarified "axiomatization" -- minor rewording of this delicate concept;
|
file |
diff |
annotate
|
| Fri, 09 May 2014 08:13:37 +0200 |
haftmann |
delete attribute for code abbrev
|
file |
diff |
annotate
|
| Fri, 09 May 2014 08:13:37 +0200 |
haftmann |
hardcoded nbe and sml into value command
|
file |
diff |
annotate
|
| Thu, 10 Apr 2014 17:48:15 +0200 |
kuncar |
more appropriate name (Lifting.invariant -> eq_onp)
|
file |
diff |
annotate
|
| Thu, 10 Apr 2014 17:48:14 +0200 |
kuncar |
left_total and left_unique rules are now transfer rules (cleaner solution, reflexvity_rule attribute not needed anymore)
|
file |
diff |
annotate
|