| Wed, 11 Sep 2013 14:23:06 +0200 | wenzelm | do not expose internal flags to attribute name space; | file | diff | annotate |
| Tue, 03 Sep 2013 22:12:48 +0200 | ballarin | Further clarifies sublocale and rewrite morphisms. | file | diff | annotate |
| Tue, 03 Sep 2013 22:12:48 +0200 | ballarin | Clarifies that interpretation does not only apply to facts, but to declaratoins in general. | file | diff | annotate |
| Tue, 03 Sep 2013 22:12:48 +0200 | ballarin | Clarifies documentation of interpretation in local theories. | file | diff | annotate |
| Tue, 13 Aug 2013 16:25:47 +0200 | wenzelm | standardized symbols via "isabelle update_sub_sup", excluding src/Pure and src/Tools/WWW_Find; | file | diff | annotate |
| Tue, 23 Apr 2013 19:31:24 +0200 | haftmann | documentation and NEWS | file | diff | annotate |
| Tue, 09 Apr 2013 13:55:28 +0200 | wenzelm | more accurate documentation of "(structure)" mixfix; | file | diff | annotate |