10

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



2008-06-06T18:40:47.000000Z
2604
tla














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




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




















1437

StructureToTVS.java
file




2009-01-05T21:15:47.296875Z
36a2bdcafb8bcdc64cea5382455508ac
2007-11-13T14:21:11.000000Z
1924
tla
has-props




















3309

CommentToTVS.java
file




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




















471

TransitionRelationToDOT.java
file




2009-01-05T21:15:47.375000Z
01f219ee06c0eb6959246e1b440d7237
2007-11-04T08:21:52.000000Z
1854
rumster
has-props




















11610

BannerToTVS.java
file




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




















533

LocationToTVS.java
file




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




















2299

StructureToDOT.java
file




2009-01-05T21:15:47.437500Z
ddaa9dcc2ea2500c32252b70b41e3a5c
2007-11-13T14:21:11.000000Z
1924
tla
has-props




















26118

CommentToDOT.java
file




2009-01-05T21:15:47.468750Z
77597d8ea3088e0f36fefb8829d832c3
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















832

AnalysisStateConverter.java
file




2009-01-05T21:15:47.546875Z
62f5b955ff6575c91fdae5660fc9a1f9
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















595

package.html
file




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




















402

BannerToDOT.java
file




2009-01-05T21:15:47.609375Z
1f54728c81998c7d99216be2254e3183
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















882

InterProcIOFacade.java
file




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




















3757

ProgramToDOT.java
file




2009-01-05T21:15:47.640625Z
054bfa9ded7a8e3db6a5184a34110ac9
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















6059

LocationToDOT.java
file




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




















2781

AnalysisStateToTVS.java
file




2009-01-05T21:15:47.671875Z
5ccdb6dde38704a8cf5505e16bddcad8
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















2493

APIIOFacade.java
file




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




















1124

tvla.io.properties
file




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




















1106

TransitionRelationToTVS.java
file




2009-01-05T21:15:47.718750Z
5746f1f28ab1f4d037e06551f5959851
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















9382

IntraIOFacade.java
file




2009-01-05T21:15:47.718750Z
f92fd784c63118161b71a2f94d33c3de
2008-06-06T18:40:47.000000Z
2604
tla
has-props




















3228

DOTDisplayProperties.java
file




2009-01-05T21:15:47.734375Z
8cc5190fd34cd77ad9f2e1f45ac907db
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















7389

IOFacade.java
file




2009-01-05T21:15:47.734375Z
189da49d512952ebdcbb55a1b2d70f5f
2007-11-04T09:07:36.000000Z
1863
tla
has-props




















27308

DOTMessage.java
file




2009-01-05T21:15:47.734375Z
1b0e11bff350a50954954c93b242ce08
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















1054

ProgramToXML.java
file




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




















1984

AnalysisStateToDOT.java
file




2009-01-05T21:15:47.750000Z
0a205dbcff343849bca0f4037a710d15
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















2612

StringConverter.java
file




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




















749

TVLAIO.java
file




2009-01-05T21:15:47.765625Z
63766655b531ab45e405d98bc3bfcd1c
2007-10-16T13:00:08.000000Z
1780
rumster
has-props




















2448

