diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-03-19 18:03:19 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-03-19 18:03:19 +0000 |
| commit | 3dacf21a416511e88659d20bbcec284e70b85ec7 (patch) | |
| tree | 7244b4903228dbe1468703b4b2f785e331142842 /src/JavaGUI2/de | |
| parent | 232c9cbb3729df3f78e7cd4e2119af30383c7e14 (diff) | |
Use makeSimpleSRG everywhere and remove makeSRG. Reimplemented top-down filtering in terms of CFRules instead of SRG. Do top-down filtering in makeSimpleSRG.
Diffstat (limited to 'src/JavaGUI2/de')
0 files changed, 0 insertions, 0 deletions