| Mon, 16 Aug 2010 10:32:35 +0200 |
haftmann |
merged
|
changeset |
files
|
| Mon, 16 Aug 2010 10:32:14 +0200 |
haftmann |
adaptation to new outline
|
changeset |
files
|
| Fri, 13 Aug 2010 17:17:16 +0200 |
haftmann |
merged
|
changeset |
files
|
| Fri, 13 Aug 2010 17:17:04 +0200 |
haftmann |
corrected handling of `constrains` elements
|
changeset |
files
|
| Mon, 16 Aug 2010 10:05:00 +0100 |
kleing |
removed non-BSD compatible option from cp
|
changeset |
files
|
| Mon, 16 Aug 2010 09:39:05 +0200 |
blanchet |
Geoff's formatter now needs closed formulas
|
changeset |
files
|
| Sun, 15 Aug 2010 17:14:10 +0200 |
nipkow |
Using type real does not require a separate logic now.
|
changeset |
files
|
| Sun, 15 Aug 2010 16:48:58 +0200 |
nipkow |
merged
|
changeset |
files
|
| Sun, 15 Aug 2010 16:48:42 +0200 |
nipkow |
tuned text about "value" and added note on comments.
|
changeset |
files
|
| Mon, 16 Aug 2010 00:07:28 +0200 |
wenzelm |
simplified command status: interpret stacked markup on demand;
|
changeset |
files
|
| Sun, 15 Aug 2010 23:13:56 +0200 |
wenzelm |
event_bus.scala rather belongs to system plumbing;
|
changeset |
files
|
| Sun, 15 Aug 2010 23:07:22 +0200 |
wenzelm |
some derived operations on Text.Range;
|
changeset |
files
|