| Mon, 19 May 2014 12:04:45 +0200 |
hoelzl |
introduce Bochner integral: generalizes Lebesgue integral from real-valued function to functions on real-normed vector spaces
|
file |
diff |
annotate
|
| Thu, 15 May 2014 18:18:50 +0200 |
haftmann |
type
|
file |
diff |
annotate
|
| Tue, 13 May 2014 09:21:22 +0200 |
traytel |
bnf_decl -> bnf_axiomatization
|
file |
diff |
annotate
|
| Mon, 12 May 2014 12:38:17 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 09 May 2014 08:13:37 +0200 |
haftmann |
hardcoded nbe and sml into value command
|
file |
diff |
annotate
|
| Fri, 09 May 2014 08:13:36 +0200 |
haftmann |
prefer separate command for approximation
|
file |
diff |
annotate
|
| Wed, 07 May 2014 14:54:06 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Wed, 07 May 2014 12:25:35 +0200 |
hoelzl |
avoid the Complex constructor, use the more natural Re/Im view; moved csqrt to Complex.
|
file |
diff |
annotate
|
| Tue, 06 May 2014 16:57:17 +0200 |
wenzelm |
renamed "Find" to "Query", with more general operations;
|
file |
diff |
annotate
|
| Sun, 04 May 2014 18:57:45 +0200 |
blanchet |
renamed 'dpll_p' to 'cdclite', to avoid confusion with the old 'dpll' and to reflect the idea that the new prover implements some ideas from CDCL not in DPLL -- this follows its author's, Sascha B.'s, wish
|
file |
diff |
annotate
|
| Sun, 04 May 2014 18:53:58 +0200 |
blanchet |
added 'satx' proof method to Try0
|
file |
diff |
annotate
|
| Sun, 04 May 2014 18:14:58 +0200 |
blanchet |
renamed 'xxx_size' to 'size_xxx' for old datatype package
|
file |
diff |
annotate
|
| Sun, 04 May 2014 16:17:53 +0200 |
boehmes |
removed obsolete internal SAT solvers
|
file |
diff |
annotate
|
| Sat, 03 May 2014 22:47:43 +0200 |
wenzelm |
support for path completion based on file-system content;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 23:31:25 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Fri, 02 May 2014 23:30:47 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 02 May 2014 21:18:50 +0200 |
haftmann |
enforce case of identifiers only to accomodate strict language requirements (or clear separation of constructors from variables in the case of SML)
|
file |
diff |
annotate
|
| Thu, 01 May 2014 22:56:59 +0200 |
boehmes |
added internal proof-producing SAT solver
|
file |
diff |
annotate
|
| Thu, 01 May 2014 09:30:32 +0200 |
haftmann |
NEWS
|
file |
diff |
annotate
|
| Tue, 29 Apr 2014 15:42:19 +0200 |
wenzelm |
require explicit 'document_files';
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 22:57:51 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 22:51:21 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 26 Apr 2014 21:37:09 +1000 |
kleing |
retired wwwfind
|
file |
diff |
annotate
|
| Wed, 23 Apr 2014 10:23:27 +0200 |
blanchet |
updated NEWS
|
file |
diff |
annotate
|
| Sat, 19 Apr 2014 17:23:05 +0200 |
wenzelm |
added command 'SML_export' and 'SML_import' for exchange of toplevel bindings;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 22:41:10 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 19:11:34 +0200 |
wenzelm |
clarified abbreviations for cartouche delimiters, to work in any context;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2014 00:07:07 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sat, 12 Apr 2014 21:58:58 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Fri, 11 Apr 2014 11:52:28 +0200 |
wenzelm |
explicit 'document_files' in session ROOT specifications;
|
file |
diff |
annotate
|