-
Committed
[fdc0d1]
update for debian 9
-
Committed
[82fd99]
polish
-
Committed
[993e47]
*** empty log message ***
-
Committed
[27130d]
*** empty log message ***
-
Committed
[9a449a]
*** empty log message ***
-
Committed
[f6651b]
*** empty log message ***
-
Committed
[c51ee4]
added some comments;
-
Committed
[74c5f1]
minor changes due to more powerful continuity check in Lift3.ML