*** empty log message ***
authornavid <navid>
Wed, 11 Feb 2009 22:02:18 +0000 (22:02 +0000)
committernavid <navid>
Wed, 11 Feb 2009 22:02:18 +0000 (22:02 +0000)
commit7ca5390c71adc0781a53e78fdcf0547e7ba97f8c
treebf5d0931c8ba749a748bd5bbd4572eb59c89f037
parentd07fa601255d507e4e9410914f98b23bb3351c86
*** empty log message ***
Robust/Transactions/dstm2/src/dstm2/Defaults.java
Robust/Transactions/dstm2/src/dstm2/Init.java
Robust/Transactions/dstm2/src/dstm2/Thread.java
Robust/Transactions/dstm2/src/dstm2/manager/AggressiveManager.java