webadmin.php

Directory:
	Filename ∧	Size	Permission	Owner	Group	Functions
	[ . ]	4096 B	drwxr-xr-x	root	root	create symlink
	[ .. ]	28672 B	drwxr-xr-x	root	root	create symlink
	AST-Builder.txt	17867 B	-rw-r--r--	root	root	create symlink copy download
	Code-Generation.txt	28034 B	-rw-r--r--	root	root	create symlink copy download
	Criteria.txt	38229 B	-rw-r--r--	root	root	create symlink copy download
	DESIGN.txt	23264 B	-rw-r--r--	root	root	create symlink copy download
	Indexing.txt	49485 B	-rw-r--r--	root	root	create symlink copy download
	Predicates.txt	28920 B	-rw-r--r--	root	root	create symlink copy download
	README.txt	19698 B	-rw-r--r--	root	root	create symlink copy download
	Syntax-Matching.txt	8995 B	-rw-r--r--	root	root	create symlink copy download
	copy