| Tue, 15 Sep 2009 23:57:07 +0200 | wenzelm | double linking for improved performance of "prev"; | file | diff | annotate |
| Tue, 01 Sep 2009 13:31:22 +0200 | wenzelm | misc cleanup and internal reorganization; | file | diff | annotate |
| Tue, 01 Sep 2009 11:52:19 +0200 | wenzelm | added linear_set.scala from http://isabelle.in.tum.de/repos/isabelle-jedit/rev/d567692f9717 | file | diff | annotate |