/README/1.2/Wed Feb  5 17:41:50 2003//Tdemo-y4
/camelot/1.2/Mon Feb  3 15:22:50 2003//Tdemo-y4
/demo-aux.pl/1.7/Thu Feb  6 00:41:31 2003//Tdemo-y4
/demo-data.pl/1.3/Mon Feb  3 13:49:06 2003//Tdemo-y4
/demo-iface.pl/1.4/Fri Feb  7 20:37:01 2003//Tdemo-y4
/demo-setup-lmu.pl/1.2/Thu Feb  6 00:41:31 2003//Tdemo-y4
/demo-setup-romulus.pl/1.5/Thu Feb  6 02:27:41 2003//Tdemo-y4
/demo-setup.pl/1.5/Tue Feb  4 20:33:02 2003//Tdemo-y4
/do_compile.pl/1.20/Fri Feb  7 20:37:01 2003//Tdemo-y4
/gdf/1.1/Thu Feb  6 02:03:12 2003//Tdemo-y4
/gdf2thy/1.1/Wed Jan 29 15:12:25 2003//Tdemo-y4
/hello.pl/1.1/Thu Jan 30 14:31:05 2003//Tdemo-y4
/iface.cgi/1.13/Thu Feb  6 12:26:03 2003//Tdemo-y4
/isabelle-process/1.1/Wed Jan 29 15:12:26 2003//Tdemo-y4
/path_module-romulus.pm/1.2/Thu Feb  6 23:26:46 2003//Tdemo-y4
/path_module.pm/1.3/Thu Feb  6 12:26:03 2003//Tdemo-y4
/runjava.cgi/1.6/Thu Feb  6 12:26:03 2003//Tdemo-y4
/test-cgi/1.1/Thu Jan 30 14:31:05 2003//Tdemo-y4
/wrapper1.cgi/1.9/Thu Feb  6 12:26:03 2003//Tdemo-y4
D
