10

dir
3307
svn://rumster@localhost/msagiv/trunk/tvla3/src/tvla
svn://rumster@localhost/msagiv



2009-08-07T01:43:51.704299Z
3251
rumster













incomplete
75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

version.properties
file
3251



2009-01-05T21:15:55.421875Z
3c9ab5f1795da7dea39b5f1b9f8023a0
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















140

exceptions
dir

predicates
dir

language
dir

differencing
dir

analysis
dir

core
dir

Runner.java
file
3251



2009-08-06T00:34:50.859375Z
5bff36ef653a8e13dbf3f9d37954540a
2009-08-05T23:33:59.207747Z
3250
rumster
has-props




















29208

TVLAInitializer.java
file
3251



2009-01-05T21:15:55.453125Z
399b6754b1fb4c199be0d22492e2a367
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















22031

diffUtility
dir

logic
dir

package.html
file
3251



2009-01-05T21:15:55.468750Z
554ba0a56bb305c037fcb342434ce49c
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















55

transitionSystem
dir

iawp
dir

absRef
dir

relevance
dir

io
dir

api
dir

formulae
dir

util
dir

