| Sat, 18 Aug 2007 13:32:22 +0200 |
wenzelm |
proper signature;
|
changeset |
files
|
| Sat, 18 Aug 2007 13:32:21 +0200 |
wenzelm |
removed obsolete atp_method;
|
changeset |
files
|
| Sat, 18 Aug 2007 13:32:20 +0200 |
wenzelm |
export more tactics;
|
changeset |
files
|
| Sat, 18 Aug 2007 13:32:18 +0200 |
wenzelm |
renamed ResAtpMethods.setup;
|
changeset |
files
|
| Sat, 18 Aug 2007 00:22:22 +0200 |
wenzelm |
added at-poly-5.1-para;
|
changeset |
files
|
| Fri, 17 Aug 2007 23:10:50 +0200 |
wenzelm |
added CRITICAL section markup;
|
changeset |
files
|
| Fri, 17 Aug 2007 23:10:49 +0200 |
wenzelm |
updated generated file;
|
changeset |
files
|
| Fri, 17 Aug 2007 23:10:46 +0200 |
wenzelm |
removed obsolete touch_all_thys;
|
changeset |
files
|
| Fri, 17 Aug 2007 23:10:45 +0200 |
wenzelm |
compress: proper check_thy;
|
changeset |
files
|
| Fri, 17 Aug 2007 23:10:43 +0200 |
wenzelm |
added encoding spec for jEdit;
|
changeset |
files
|
| Fri, 17 Aug 2007 23:10:42 +0200 |
wenzelm |
proper signature;
|
changeset |
files
|
| Fri, 17 Aug 2007 23:10:41 +0200 |
wenzelm |
proper signature;
|
changeset |
files
|
| Fri, 17 Aug 2007 23:10:39 +0200 |
wenzelm |
turned type_lits into configuration option (with attribute);
|
changeset |
files
|
| Fri, 17 Aug 2007 19:24:37 +0200 |
nipkow |
removed set_concat_map and improved set_concat
|
changeset |
files
|
| Fri, 17 Aug 2007 17:49:33 +0200 |
wenzelm |
check_deps: ensure that theory is actually present, not just update_time > 1;
|
changeset |
files
|