| Thu, 06 May 2010 13:41:30 +0200 | wenzelm | extractors for outer keyword declarations; | changeset | files |
| Wed, 05 May 2010 23:55:29 +0200 | wenzelm | eliminated deprecated "--" method; | changeset | files |
| Wed, 05 May 2010 23:41:59 +0200 | wenzelm | use IndexedSeq instead of deprecated RandomAccessSeq, which is merely an alias; | changeset | files |
| Wed, 05 May 2010 23:22:11 +0200 | wenzelm | use SwingApplication instead of deprecated GUIApplication; | changeset | files |
| Wed, 05 May 2010 23:09:34 +0200 | wenzelm | simplified via Position extractors; | changeset | files |
| Wed, 05 May 2010 22:23:45 +0200 | wenzelm | some rearrangement of Scala sources; | changeset | files |
| Wed, 05 May 2010 15:30:01 +0200 | Cezary Kaliszyk | fminus and some more theorems ported from Finite_Set. | changeset | files |
| Wed, 05 May 2010 09:24:42 +0200 | haftmann | eq_morphism is always optional: avoid trivial morphism for empty list of equations | changeset | files |