Applying stylesheet
grouping nodes
grouping edges
a sample graph and stylesheet in Json format
merge main heads
new stylesheet format
adding subgraph switch
fixed zoomin view
combined concept bugs
change png to pdf
checkpoint
testinc scripts for comparing ie/ repair=HST
revert wrong changes
merged
change to main
parser options
move test scripts to test directory
fixed gringo regression
fixed girngo ie option
fixed cb bug