10

dir
3251
svn://rumster@localhost/msagiv/trunk/tvla3/examples/decomposition/lists_segments
svn://rumster@localhost/msagiv



2008-03-31T14:40:21.000000Z
2414
tla
has-props













75ec75b9-4e0e-46af-b67c-fb7ce69e52ca

swap.tvp
file




2009-01-05T21:17:01.421875Z
3a28cf356b48a6ef16b020bedad014ee
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















909

reverse.tvp
file




2009-01-05T21:17:01.437500Z
80d4ba008cbae3113fa57e78ed8655d5
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















937

removeSegment.tvp
file




2009-01-05T21:17:01.468750Z
1d605d0b6b51537a4ee1e08e432fa535
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















1735

removeSegment.tvs
file




2009-01-05T21:17:01.484375Z
72c02f340f04d00ec7d4839cd3d6c2df
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















680

predicates.tvp
file




2009-01-05T21:17:01.500000Z
0e895dbcb8ea3d84a61545892ab4cafe
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















3276

sll_cyclic.tvs
file




2009-01-05T21:17:01.515625Z
d2dab98d8cf608463bf42fa4f1f80c08
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















493

rotateLoop.tvp
file




2009-01-05T21:17:01.531250Z
761c9c79079184bbb9e3f47c14873ee8
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















926

deleteAll.tvp
file




2009-01-05T21:17:01.546875Z
b8b33395bad8d3408b08f756f1d0d324
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















607

sll.tvs
file




2009-01-05T21:17:01.546875Z
7662863624c364bbc0e6816a09a64d6f
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















654

rotate.tvp
file




2009-01-05T21:17:01.562500Z
4f773b16801aefc8615e8513c420679e
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















1004

merge.tvp
file




2009-01-05T21:17:01.562500Z
c398b07a6cc09945948e91724e45a2fc
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















3410

actions.tvp
file




2009-01-05T21:17:01.562500Z
3c8d6cb5d28e29ff72384a47279eb0b6
2008-03-31T14:40:21.000000Z
2414
tla
has-props




















6355

rotate.tvs
file




2009-01-05T21:17:01.578125Z
a5949a87391fb83671a0bd5a61f36074
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















928

merge.tvs
file




2009-01-05T21:17:01.578125Z
288a9041499dee0bb4bfa326a48d1508
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















683

delete.tvp
file




2009-01-05T21:17:01.593750Z
2ec08519a942a008d7093fa676259582
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















1300

getLast.tvp
file




2009-01-05T21:17:01.593750Z
0ad33702f8203b7cd88e73ceba88b95f
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















563

create.tvp
file




2009-01-05T21:17:01.609375Z
d81b1f87e9276b63e3f2045f166c29e4
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















689

sll_cyclic.properties
file




2009-01-05T21:17:01.609375Z
24f6bac4b6d2b6f59b0f82676f01339a
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















35

reverse_cyclic.tvs
file




2009-01-05T21:17:01.625000Z
82363f6f83422995d643a159a14ed1d2
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















547

insert.tvp
file




2009-01-05T21:17:01.625000Z
22774a16345d877eaee51ca6e20e6d91
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















1322

reverse_fumble.tvp
file




2009-01-05T21:17:01.625000Z
6779d07321491cebdf6cd8b9cfc86033
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















780

.cvsignore
file




2009-01-05T21:17:01.640625Z
b918aa7dff49ab8cde4b39908059adb3
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















17

search.tvp
file




2009-01-05T21:17:01.640625Z
b16cc6d584328931fc57e9562393bcc3
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















488

search_nullderef.tvp
file




2009-01-05T21:17:01.656250Z
46422fe7e8f5644149cad60bc735cd3c
2007-11-01T14:15:07.000000Z
1848
rumster
has-props




















688

