small differences
authorbdemsky <bdemsky>
Tue, 20 Oct 2009 00:47:56 +0000 (00:47 +0000)
committerbdemsky <bdemsky>
Tue, 20 Oct 2009 00:47:56 +0000 (00:47 +0000)
commit9ff70451b4fdd5004b7ba37da712014dc34855da
tree045b9df521383a0e389ee868ada48e178a67ff95
parentc550876cb208302bd5cc7d6015663bde0ba3834e
small differences
Robust/src/ClassLibrary/gnu/Double.java
Robust/src/Runtime/STM/delaycomp.h
Robust/src/Runtime/runtime.c
Robust/src/Runtime/thread.c