hdaniels f3d774c5f7 Navigating in the tree now works (using absolute positions), what it not always did before.

2005-07-01 14:29:38 +00:00

..

de/uka/ilkd/key/ocl/gf

Navigating in the tree now works (using absolute positions), what it not always did before.

2005-07-01 14:29:38 +00:00

gf-icon.gif

better icon for the editor

2005-06-23 11:48:10 +00:00

jargs-1.0.jar

added daniels' version of the Java editor

2005-06-21 18:40:22 +00:00

LICENCE_jargs

added daniels' version of the Java editor

2005-06-21 18:40:22 +00:00

ManifestMain.txt

added daniels' version of the Java editor

2005-06-21 18:40:22 +00:00