summaryrefslogtreecommitdiff
path: root/src/JavaGUI2/de/uka/ilkd
AgeCommit message (Expand)Author
2008-06-25removed JavaGUIs from srcaarne
2008-06-25changed names of resource-1.3; added a note on homepage on releaseaarne
2008-06-25removed src for 2.9aarne
2005-09-10Lots of refactorings for gfeditorhdaniels
2005-07-01Navigating in the tree now works (using absolute positions), what it not alwa...hdaniels
2005-07-01Append an additional newline before the message from GF. reordering of read a...hdaniels
2005-07-01Eliminated result as a global variablehdaniels
2005-06-30gfcm in Java ; Finnish close to finishedaarne
2005-06-29parsing via middle-click works nowhdaniels
2005-06-23Fixed double r 'refine ...' or even refine 'refine ...'hdaniels
2005-06-23added a prominent place for the current tooltip description + bugfixes therehdaniels
2005-06-23better icon for the editorhdaniels
2005-06-23added an application icon for gfeditor. But the icon itself is worth improvementhdaniels
2005-06-23changed 'Open' into 'Open Text' and 'New Topic' into 'New Grammar'hdaniels
2005-06-23added GPL headers to JavaGUI2. Include LICENSE files in gfeditor.jarhdaniels
2005-06-22reduced log level if no param descriptions are presenthdaniels
2005-06-22removed calls to log4j. Logging sth. does not work yethdaniels
2005-06-22typed menu entries even with printnames, on exit one is asked if 'text' inste...hdaniels
2005-06-21added daniels' version of the Java editorhdaniels
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 07:45:33 +0000