diff options
| author | cremet <cremet@epfl.ch> | 2004-02-25 13:30:37 +0000 |
|---|---|---|
| committer | cremet <cremet@epfl.ch> | 2004-02-25 13:30:37 +0000 |
| commit | b52895234d6588cf7802dd07287f7b00064e62d0 (patch) | |
| tree | 217756dd514676d2104d86fdb7abffc43693862e /config | |
| parent | ba3daff2aa5e94a828fe81bd285d39ff0e522c39 (diff) | |
| download | scala-b52895234d6588cf7802dd07287f7b00064e62d0.tar.gz scala-b52895234d6588cf7802dd07287f7b00064e62d0.tar.bz2 scala-b52895234d6588cf7802dd07287f7b00064e62d0.zip | |
- Added search by type modulo isomorphism.
Diffstat (limited to 'config')
| -rw-r--r-- | config/list/scaladoc.lst | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/config/list/scaladoc.lst b/config/list/scaladoc.lst index 7694d0c5f7..a59917bd15 100644 --- a/config/list/scaladoc.lst +++ b/config/list/scaladoc.lst @@ -3,16 +3,17 @@ ############################################################################## # $Id$ +TypeIsomorphism.java MLType.scala Comment.java -DocModule.java HTMLGenerator.java HTMLGeneratorCommand.java -HTMLGeneratorPhase.java +HTMLGeneratorPhase.scala HTMLGeneratorPhases.java Main.scala ScalaSearch.java -StandardDocModule.java +#DocModule.java +#StandardDocModule.java Tag.java Location.java Page.java |