Thu, 04 Jun 2009 22:08:02 +0200 | wenzelm | ExternalHyperlink.click: use IsabelleSystem.source_file provided in http://isabelle.in.tum.de/repos/isabelle/rev/dde1b4d1c95b | changeset | files |
Thu, 04 Jun 2009 22:06:37 +0200 | wenzelm | more robust get_offsets; | changeset | files |
Wed, 03 Jun 2009 11:26:15 +0200 | wenzelm | updates for Netbeans 6.7; | changeset | files |
Tue, 02 Jun 2009 23:38:41 +0200 | wenzelm | merged | changeset | files |
Tue, 02 Jun 2009 22:55:20 +0200 | immler | merged | changeset | files |
Tue, 02 Jun 2009 22:55:13 +0200 | immler | merged; resolved superficial conflicts | changeset | files |
Tue, 02 Jun 2009 22:22:03 +0200 | immler | linearset works faster here | changeset | files |