10

dir
2916
svn://acme.able.cs.cmu.edu:3691/plaid/SASyLF/backend/src/edu/cmu/cs/sasylf
svn://acme.able.cs.cmu.edu:3691/plaid



2009-10-07T17:04:00.250865Z
2916
aldrich
has-props













97133a87-9f1f-0410-b6f1-9ebd2faf6b95

test
dir

testinput
dir

.project
file




2009-05-20T16:59:05.006734Z
0009cd4dc0a80ae8aafff206526f7252
2008-12-16T05:42:55.597580Z
1949
yingyux
has-props




















218

Main.java
file
2917



2009-10-07T17:27:26.889444Z
04d48d3c72b0707b10aaf442887b4c34
2009-10-07T17:30:49.122249Z
2917
aldrich





















2779

grammar
dir

ast
dir

backend
dir

term
dir

parser
dir

prover
dir

util
dir

Makefile
file




2009-05-20T16:59:05.010734Z
ca020c8764b2e37d8a79c2a6299cf160
2007-11-22T11:51:14.256726Z
865
aldrich





















484

spine
dir

