| Tue, 16 Feb 2010 15:25:36 +0100 |
boehmes |
added Cache_IO: cache for output of external tools,
|
file |
diff |
annotate
|
| Fri, 20 Nov 2009 18:36:44 +1100 |
kleing |
WWW_Find component: find_theorems via web browser
|
file |
diff |
annotate
|
| Fri, 18 Sep 2009 18:13:19 +0200 |
boehmes |
added new method "smt": an oracle-based connection to external SMT solvers
|
file |
diff |
annotate
|
| Wed, 02 Sep 2009 16:23:53 +0200 |
boehmes |
moved Mirabelle from HOL/Tools to HOL,
|
file |
diff |
annotate
|
| Tue, 01 Sep 2009 16:39:05 +0200 |
haftmann |
code generator is now a separate component
|
file |
diff |
annotate
|
| Sat, 22 Aug 2009 23:22:17 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 21 Aug 2009 09:49:10 +0200 |
boehmes |
moved Mirabelle to HOL/Tools
|
file |
diff |
annotate
|
| Mon, 17 Aug 2009 10:59:12 +0200 |
boehmes |
made Mirabelle a component
|
file |
diff |
annotate
|
| Thu, 06 Aug 2009 19:51:59 +0200 |
wenzelm |
misc changes to SOS by Philipp Meyer:
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 19:20:24 +0200 |
wenzelm |
src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place;
|
file |
diff |
annotate
|
| Tue, 04 Aug 2009 16:11:11 +0200 |
wenzelm |
turned object-logics into components;
|
file |
diff |
annotate
|