Wed, 08 Aug 2012 17:49:56 +0200 | wenzelm | simplified session specifications: names are taken verbatim and current directory is default; | file | diff | annotate |
Wed, 25 Jul 2012 10:55:02 +0200 | wenzelm | more standard session setup for WWW_Find; | file | diff | annotate |