diff options
author | paltherr <paltherr@epfl.ch> | 2004-06-03 10:57:58 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2004-06-03 10:57:58 +0000 |
commit | d0ecd06a51b9daad17639777f42adee3196edaf1 (patch) | |
tree | 52d8bf6682d7b0cbd13188de8663ea958197b972 | |
parent | 7569c085bc5bee02c88920374f7561c8f9dcc616 (diff) | |
download | scala-d0ecd06a51b9daad17639777f42adee3196edaf1.tar.gz scala-d0ecd06a51b9daad17639777f42adee3196edaf1.tar.bz2 scala-d0ecd06a51b9daad17639777f42adee3196edaf1.zip |
- Added Ids
-rw-r--r-- | sources/scala/tools/dtd2scala/DeclToScala.scala | 2 | ||||
-rw-r--r-- | sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml | 1 | ||||
-rw-r--r-- | sources/scala/xml/dtd/Decl.scala | 10 |
3 files changed, 13 insertions, 0 deletions
diff --git a/sources/scala/tools/dtd2scala/DeclToScala.scala b/sources/scala/tools/dtd2scala/DeclToScala.scala index 267bc11032..39f3ccdc7f 100644 --- a/sources/scala/tools/dtd2scala/DeclToScala.scala +++ b/sources/scala/tools/dtd2scala/DeclToScala.scala @@ -1,3 +1,5 @@ +// $Id$ + import scalac.util.Name ; import scala.tools.scalac.ast.parser.Tokens ; /* for keywords */ diff --git a/sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml b/sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml index 2c8d50e7e2..dce193c3aa 100644 --- a/sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml +++ b/sources/scala/tools/dtd2scala/template/ObjectTemplate.scala.xml @@ -1,3 +1,4 @@ +<!-- $Id$ --> <!DOCTYPE template [ <!ENTITY elementName '<string ref="elementName"/>'> <!ENTITY qElementName '<qstring ref="elementName"/>'> diff --git a/sources/scala/xml/dtd/Decl.scala b/sources/scala/xml/dtd/Decl.scala index 2294641a34..8660e13484 100644 --- a/sources/scala/xml/dtd/Decl.scala +++ b/sources/scala/xml/dtd/Decl.scala @@ -1,3 +1,13 @@ +/* __ *\ +** ________ ___ / / ___ Scala API ** +** / __/ __// _ | / / / _ | (c) 2003-2004, LAMP/EPFL ** +** __\ \/ /__/ __ |/ /__/ __ | ** +** /____/\___/_/ |_/____/_/ | | ** +** |/ ** +\* */ + +// $Id$ + package scala.xml.dtd ; import scala.collection.Map ; |