| Thu, 30 Jun 2011 13:21:41 +0200 |
wenzelm |
standardized use of Path operations;
|
changeset |
files
|
| Thu, 30 Jun 2011 11:15:36 +0200 |
wenzelm |
tuned comments;
|
changeset |
files
|
| Thu, 30 Jun 2011 00:09:57 +0200 |
wenzelm |
abstract algebra of file paths in Scala (cf. path.ML);
|
changeset |
files
|
| Thu, 30 Jun 2011 00:01:00 +0200 |
wenzelm |
proper Path.print;
|
changeset |
files
|
| Wed, 29 Jun 2011 23:43:48 +0200 |
wenzelm |
basic operations on lists and strings;
|
changeset |
files
|
| Wed, 29 Jun 2011 21:34:16 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 29 Jun 2011 20:39:41 +0200 |
wenzelm |
simplified/unified Simplifier.mk_solver;
|
changeset |
files
|
| Wed, 29 Jun 2011 18:12:34 +0200 |
wenzelm |
modernized some simproc setup;
|
changeset |
files
|
| Wed, 29 Jun 2011 17:35:46 +0200 |
wenzelm |
modernized some simproc setup;
|
changeset |
files
|
| Wed, 29 Jun 2011 16:31:50 +0200 |
wenzelm |
print Path.T with some markup;
|
changeset |
files
|
| Wed, 29 Jun 2011 15:23:36 +0200 |
wenzelm |
HTML: render control symbols more like Isabelle/Scala/jEdit;
|
changeset |
files
|
| Tue, 28 Jun 2011 10:52:15 +0200 |
traytel |
collapse map functions with identity subcoercions to identities;
|
changeset |
files
|
| Tue, 28 Jun 2011 21:06:59 +0200 |
blanchet |
reenabled accidentally-disabled automatic minimization
|
changeset |
files
|
| Tue, 28 Jun 2011 20:42:29 +0200 |
wenzelm |
tuned markup;
|
changeset |
files
|
| Tue, 28 Jun 2011 17:13:32 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 28 Jun 2011 17:12:50 +0100 |
paulson |
tidied messy proofs
|
changeset |
files
|