| Fri, 20 Sep 2024 19:51:08 +0200 |
wenzelm |
standardize mixfix annotations via "isabelle update -a -u mixfix_cartouches" --- to simplify systematic editing;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 14:17:03 +0200 |
wenzelm |
more robust display of bidirectional Unicode text: enforce left-to-right;
|
file |
diff |
annotate
|
| Fri, 01 Apr 2016 22:24:18 +0200 |
wenzelm |
explicit warning about bidi uncertainty in Unicode;
|
file |
diff |
annotate
|
| Sat, 22 Nov 2014 14:57:04 +0100 |
wenzelm |
misc tuning and modernization;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Tue, 09 Sep 2014 20:51:36 +0200 |
blanchet |
use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
|
file |
diff |
annotate
|
| Mon, 06 Dec 2010 14:45:29 +0100 |
wenzelm |
avoid explicit encoding -- acknowledge UTF-8 as global default and Isabelle/jEdit preference of UTF-8-Isabelle;
|
file |
diff |
annotate
|
| Wed, 08 Sep 2010 19:21:46 +0200 |
haftmann |
modernized primrec
|
file |
diff |
annotate
|
| Fri, 17 Aug 2007 23:10:43 +0200 |
wenzelm |
added encoding spec for jEdit;
|
file |
diff |
annotate
|
| Tue, 20 Sep 2005 13:57:08 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 15 Sep 2005 17:17:02 +0200 |
wenzelm |
The Hebrew Alef-Bet -- Unicode example;
|
file |
diff |
annotate
|