| Fri, 03 Sep 2010 12:01:47 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 18:45:23 +0200 |
hoelzl |
merged
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 13:32:17 +0200 |
hoelzl |
NEWS
|
file |
diff |
annotate
|
| Fri, 03 Sep 2010 11:21:58 +0200 |
wenzelm |
turned show_consts into proper configuration option;
|
file |
diff |
annotate
|
| Thu, 02 Sep 2010 00:48:07 +0200 |
wenzelm |
turned show_question_marks into proper configuration option;
|
file |
diff |
annotate
|
| Sat, 28 Aug 2010 16:14:32 +0200 |
haftmann |
formerly unnamed infix equality now named HOL.eq
|
file |
diff |
annotate
|
| Sat, 28 Aug 2010 11:42:33 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 19:34:23 +0200 |
haftmann |
renamed class/constant eq to equal; tuned some instantiations
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 18:00:45 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 14:25:29 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 14:25:07 +0200 |
haftmann |
official support for Scala
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 14:14:08 +0200 |
wenzelm |
structure Unsynchronized is never opened and set/reset/toggle have been discontinued;
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 12:57:55 +0200 |
wenzelm |
merged, resolving some minor conflicts in src/HOL/Tools/Predicate_Compile/code_prolog.ML;
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 10:56:46 +0200 |
haftmann |
formerly unnamed infix conjunction and disjunction now named HOL.conj and HOL.disj
|
file |
diff |
annotate
|
| Thu, 26 Aug 2010 21:03:14 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Fri, 27 Aug 2010 12:40:20 +0200 |
wenzelm |
proper context for various Thy_Output options, via official configuration options in ML and Isar;
|
file |
diff |
annotate
|
| Wed, 25 Aug 2010 14:18:09 +0200 |
wenzelm |
discontinued obsolete 'global' and 'local' commands;
|
file |
diff |
annotate
|
| Mon, 23 Aug 2010 19:35:57 +0200 |
hoelzl |
Rewrite the Probability theory.
|
file |
diff |
annotate
|
| Mon, 23 Aug 2010 11:17:13 +0200 |
haftmann |
dropped type classes mult_mono and mult_mono1; tuned names of technical rule duplicates
|
file |
diff |
annotate
|
| Fri, 20 Aug 2010 17:48:30 +0200 |
haftmann |
split and enriched theory SetsAndFunctions
|
file |
diff |
annotate
|
| Thu, 19 Aug 2010 17:41:52 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Thu, 19 Aug 2010 16:08:53 +0200 |
haftmann |
deglobalized named HOL constants
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 17:03:09 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 17:01:12 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 15:01:57 +0200 |
haftmann |
more helpful NEWS entry
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 16:44:21 +0200 |
haftmann |
preemptive NEWS
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 14:55:09 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Wed, 18 Aug 2010 12:26:48 +0200 |
haftmann |
deglobalization
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 18:41:55 +0200 |
wenzelm |
discontinued support for Poly/ML 5.0 and 5.1 versions;
|
file |
diff |
annotate
|
| Tue, 17 Aug 2010 14:33:39 +0200 |
haftmann |
NEWS and CONTRIBUTORS
|
file |
diff |
annotate
|