diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/list/library.lst | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index 506ac01955..c0612d7d6a 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -192,6 +192,7 @@ testing/Benchmark.scala util/automata/BaseBerrySethi.scala util/automata/DetWordAutom.scala +util/automata/Inclusion.scala util/automata/NondetWordAutom.scala util/automata/WordBerrySethi.scala util/grammar/HedgeRHS.scala @@ -252,4 +253,8 @@ xml/parsing/MarkupParser.scala xml/parsing/XSDHandler.scala xml/path/Expression.scala +xml/transform/BasicTransformer.scala +xml/transform/RewriteRule.scala +xml/transform/RuleTransformer.scala + ############################################################################## |