Readme-First has more info!
rename inputViz, change node shape
README, merge mini-install-check
immobilize rcg color, some bugs fix
merged
resolve?
fix readme
revert README
switch to main
fixed topdownRemedy for abstract3
checkpoint
+= provenance
all worlds view
all worlds view
immobilize the combined concept, say 1.X2.X
immobilize the combined concept, say 1.X2.X
min inconsistent subset option
disjoint | overlaps
--repair=justifications
changed to --repair=HST