10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/src/tvla/iawp/tp/spass
svn://rumster@localhost/msagiv



2007-10-16T13:00:08.000000Z
1780
rumster














75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

SpassCNFOutput.java
file




2009-01-05T21:15:42.046875Z
7853f28193d23a26e0d1debb11edac7c
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















1523

SpassStrings.java
file




2009-01-05T21:15:42.062500Z
092360a6de45c54582254de86c085f2b
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















541

spass.properties
file




2009-01-05T21:15:42.078125Z
c61e497b2b7a230567010d3b58862d46
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















880

SpassCNFConverter.java
file




2009-01-05T21:15:42.109375Z
48fcb663558e19ab280f5a1b7141fbeb
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















2042

SpassTranslation.java
file




2009-01-05T21:15:42.125000Z
9b8d15b0ffc5971f4b251bb5637b2f8f
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















16249

sym.java
file




2009-01-05T21:15:42.140625Z
41b5229263edcbf6535281133014bb74
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















1158

Spass.java
file




2009-01-05T21:15:42.140625Z
4e084a9c2de8413e3b41cd2d92d95c5d
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















10669

SpassOutput.java
file




2009-01-05T21:15:42.156250Z
3175b74df346b692c6945bf4d9798671
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















1934

Yylex.java
file




2009-01-05T21:15:42.171875Z
c25af92f287d848a9ebb198814ad55a1
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















14828

SpassCNFClause.java
file




2009-01-05T21:15:42.187500Z
2e1708f0c6dc34f6392a974275d55fcd
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















539

