Name	Documentation	Size	Last Modified
mypldoc		6.37K	14 Nov 2003 22:38:35 UTC
configure.in		1.06K	19 May 2004 03:56:23 UTC
plapidoc			04 Jun 2016 17:00:38 UTC
curia			04 Jun 2016 17:00:38 UTC
README.txt		64	26 Jul 2004 02:01:31 UTC
plspex-ja.html		9.71K	31 May 2004 13:58:40 UTC
Makefile.in		4.06K	12 May 2004 11:37:53 UTC
overview		1.69K	16 Jul 2003 06:51:19 UTC
villa			04 Jun 2016 17:00:38 UTC
depot			04 Jun 2016 17:00:38 UTC
plspex.html		9.93K	31 May 2004 13:58:45 UTC
configure		99.29K	22 Jul 2004 17:36:45 UTC