add timeout to progress bar (more responsive)
new snapshot
improved progress bar
bug fixes
new snapshot
forgot the checkin FancyProgress.java
adjust spaces
project file updates
tab doesn't look good
jsondump
fix a null pointer
print AST cache location
conditionalize type printing
cleanups
delete useless comments
imported things are not MODULE bindings
second clean-up of messy Binding mechanism
limit length of paths and types
simplify and correct qname
renaming