| Wed, 08 Oct 2014 09:09:12 +0200 |
Andreas Lochbihler |
move Code_Test to HOL/Library;
|
file |
diff |
annotate
|
| Tue, 07 Oct 2014 14:53:51 +0200 |
wenzelm |
added update_cartouches tool;
|
file |
diff |
annotate
|
| Mon, 06 Oct 2014 19:55:49 +0200 |
wenzelm |
improved spelling of formal INCOMPATIBILITY in historic versions (!) -- to avoid ad-hoc word completion multiply such lapses;
|
file |
diff |
annotate
|
| Mon, 06 Oct 2014 16:54:35 +0200 |
wenzelm |
completion for bibtex entries;
|
file |
diff |
annotate
|
| Sun, 05 Oct 2014 22:22:40 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2014 22:15:31 +0200 |
wenzelm |
merged;
|
file |
diff |
annotate
|
| Sat, 04 Oct 2014 22:15:22 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 03 Oct 2014 14:46:26 +0200 |
wenzelm |
SideKick parser for bibtex entries;
|
file |
diff |
annotate
|
| Fri, 03 Oct 2014 11:03:37 +0200 |
wenzelm |
context menu for bibtex entries;
|
file |
diff |
annotate
|
| Thu, 02 Oct 2014 11:33:06 +0200 |
haftmann |
moved lemmas out of Int.thy which have nothing to do with int
|
file |
diff |
annotate
|
| Mon, 22 Sep 2014 21:28:57 +0200 |
wenzelm |
discontinued old "xnum" token category;
|
file |
diff |
annotate
|
| Sun, 21 Sep 2014 16:56:11 +0200 |
haftmann |
explicit separation of signed and unsigned numerals using existing lexical categories num and xnum
|
file |
diff |
annotate
|
| Thu, 18 Sep 2014 16:47:40 +0200 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Thu, 18 Sep 2014 15:07:43 +0200 |
haftmann |
product over monoids for lists
|
file |
diff |
annotate
|
| Fri, 12 Sep 2014 07:38:15 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Thu, 11 Sep 2014 19:32:36 +0200 |
blanchet |
updated news
|
file |
diff |
annotate
|
| Tue, 09 Sep 2014 17:50:54 +0200 |
nipkow |
enamed drop_Suc_conv_tl and nth_drop' to Cons_nth_drop_Suc
|
file |
diff |
annotate
|
| Sun, 07 Sep 2014 17:51:32 +0200 |
haftmann |
restrictive options for class dependencies
|
file |
diff |
annotate
|
| Fri, 05 Sep 2014 00:41:01 +0200 |
blanchet |
updated docs
|
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
|
| Thu, 28 Aug 2014 07:34:23 +0200 |
blanchet |
tuned terminology
|
file |
diff |
annotate
|
| Thu, 28 Aug 2014 07:30:16 +0200 |
blanchet |
moved new para to right section of NEWS
|
file |
diff |
annotate
|
| Thu, 28 Aug 2014 00:40:38 +0200 |
blanchet |
minor NEWS fix
|
file |
diff |
annotate
|
| Thu, 28 Aug 2014 00:40:38 +0200 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Thu, 28 Aug 2014 00:40:38 +0200 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Wed, 27 Aug 2014 13:05:59 +0200 |
blanchet |
removed not so interesting 'set_empty'
|
file |
diff |
annotate
|
| Tue, 19 Aug 2014 18:21:29 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Tue, 19 Aug 2014 17:00:44 +0200 |
wenzelm |
added PARALLEL_ALLGOALS convenience;
|
file |
diff |
annotate
|
| Tue, 19 Aug 2014 09:34:27 +0200 |
blanchet |
documented slight incompatibility in NEWS
|
file |
diff |
annotate
|
| Mon, 18 Aug 2014 17:19:58 +0200 |
blanchet |
reordered some (co)datatype property names for more consistency
|
file |
diff |
annotate
|