| Wed, 08 Jun 2011 21:40:54 +0200 |
wenzelm |
simplified directory structure;
|
changeset |
files
|
| Wed, 08 Jun 2011 21:29:49 +0200 |
wenzelm |
further jedit build option;
|
changeset |
files
|
| Wed, 08 Jun 2011 20:58:51 +0200 |
wenzelm |
build jedit as part of regular startup script (in that case depending on jedit_build component);
|
changeset |
files
|
| Wed, 08 Jun 2011 17:49:01 +0200 |
wenzelm |
updated headers;
|
changeset |
files
|
| Wed, 08 Jun 2011 17:42:07 +0200 |
wenzelm |
moved sources -- eliminated Netbeans artifact of jedit package directory;
|
changeset |
files
|
| Wed, 08 Jun 2011 17:32:31 +0200 |
wenzelm |
removed obsolete Netbeans project setup;
|
changeset |
files
|
| Wed, 08 Jun 2011 17:11:00 +0200 |
wenzelm |
support fresh build of jars;
|
changeset |
files
|
| Wed, 08 Jun 2011 16:19:22 +0200 |
wenzelm |
more jvmpath wrapping for Cygwin;
|
changeset |
files
|
| Wed, 08 Jun 2011 15:56:57 +0200 |
wenzelm |
more robust exception pattern General.Subscript;
|
changeset |
files
|
| Wed, 08 Jun 2011 15:39:55 +0200 |
wenzelm |
pervasive Output operations;
|
changeset |
files
|
| Wed, 08 Jun 2011 15:25:44 +0200 |
wenzelm |
modernized Proof_Context;
|
changeset |
files
|
| Wed, 08 Jun 2011 14:44:54 +0200 |
wenzelm |
standardized header;
|
changeset |
files
|
| Wed, 08 Jun 2011 13:45:01 +0200 |
boehmes |
merged
|
changeset |
files
|
| Wed, 08 Jun 2011 13:43:15 +0200 |
boehmes |
updated SMT certificates
|
changeset |
files
|
| Wed, 08 Jun 2011 11:59:45 +0200 |
boehmes |
only collect substituions neither seen before nor derived in the same refinement step
|
changeset |
files
|
| Wed, 08 Jun 2011 12:13:37 +0200 |
wenzelm |
updated imports (cf. 93b1183e43e5);
|
changeset |
files
|