diff options
author | paltherr <paltherr@epfl.ch> | 2003-11-03 18:23:02 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-11-03 18:23:02 +0000 |
commit | 58a79d27b3999380e49bfa6499f378a95b2bb7a0 (patch) | |
tree | 73ee4741d0cedb474c50eaa04ffb4f468c5bad0a /config/list | |
parent | 51f791416e79195018d2253db2cc97cbccb51302 (diff) | |
download | scala-58a79d27b3999380e49bfa6499f378a95b2bb7a0.tar.gz scala-58a79d27b3999380e49bfa6499f378a95b2bb7a0.tar.bz2 scala-58a79d27b3999380e49bfa6499f378a95b2bb7a0.zip |
- Added website.lst
Diffstat (limited to 'config/list')
-rw-r--r-- | config/list/website.lst | 65 |
1 files changed, 65 insertions, 0 deletions
diff --git a/config/list/website.lst b/config/list/website.lst new file mode 100644 index 0000000000..1fe4f11a98 --- /dev/null +++ b/config/list/website.lst @@ -0,0 +1,65 @@ +############################################################-*-Makefile-*-#### +# website files (paths are relative to ./website/sources) +############################################################################## +# $Id$ + +bugs/index.html + +community/index.html + +css/index.html +css/print.css +css/screen.css + +docu/index.html +docu/rationale.html + +downloads/distrib/index.html +downloads/index.html +downloads/instructions.html +downloads/js/ia.js +downloads/js/ia_fr.js +downloads/js/lamp.js +downloads/js/lamp_fr.js + +examples/index.html + +images/background.gif +images/classhierarchy.png +images/html1.gif +images/index.html +images/pdf1.gif +images/ps1.jpg +images/valid-xhtml11.png + +index.html + +intro/abstracttypes.html +intro/caseclasses.html +intro/classes.html +intro/compoundtypes.html +intro/comprehensions.html +intro/currying.html +intro/funnesting.html +intro/funsyntax.html +intro/generics.html +intro/hofuns.html +intro/lowbounds.html +intro/mixin.html +intro/operators.html +intro/patmatch.html +intro/polymethods.html +intro/regexppat.html +intro/selfrefs.html +intro/subclassing.html +intro/targettyping.html +intro/traits.html +intro/unifiedtypes.html +intro/upbounds.html +intro/variances.html + +js/decls.js +js/decls_fr.js +js/index.html + +############################################################################## |