diff options
author | buraq <buraq@epfl.ch> | 2005-05-26 14:02:47 +0000 |
---|---|---|
committer | buraq <buraq@epfl.ch> | 2005-05-26 14:02:47 +0000 |
commit | e389932a0948127ed9b34eb2c7c57aa9817a4368 (patch) | |
tree | 6ea6a8b3fde870f4ba4f732654241b38517f9f91 /config | |
parent | 2a99a8010f8b129893d046976195997bc9feb363 (diff) | |
download | scala-e389932a0948127ed9b34eb2c7c57aa9817a4368.tar.gz scala-e389932a0948127ed9b34eb2c7c57aa9817a4368.tar.bz2 scala-e389932a0948127ed9b34eb2c7c57aa9817a4368.zip |
even better dtd parsing! handled URLs now
Diffstat (limited to 'config')
-rw-r--r-- | config/list/library.lst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/list/library.lst b/config/list/library.lst index f20bba95ac..d0c694e253 100644 --- a/config/list/library.lst +++ b/config/list/library.lst @@ -256,6 +256,7 @@ xml/factory/LoggedNodeFactory.scala xml/parsing/ConstructingHandler.scala xml/parsing/ConstructingParser.scala +xml/parsing/ExternalSources.scala xml/parsing/FatalError.scala xml/parsing/MarkupHandler.scala xml/parsing/MarkupParser.scala |