have kill_all also kill MaSh server + be paranoid about reloading after clear_state, to allow for easier experimentation

take chained and proximate facts into consideration when computing MaSh features

pour extra features from proximate facts into goal, in exporter

cleanup old duplicated functionality

store theorem about composition of fold and map in fp_result

tuning

ideas for (co)datatype docs

minor tweaks to MaSh tool

added datatype example

support more brackets; more uniform isabelle modes;

prefer text version of single angle quotation marks: U+2039 and U+203A from DejaVuSansMono;

double check that lhs or rhs really matches a subterm in a goal when creating a hole in a skeleton (Net.net does only rough matching)

improve weight computation for complex terms

improved support for MaSh server

get rid of some silly MaSh features

weight MaSh constants by frequency

transfer stored fp_sugar theorems into the "current" theory when retrieving an fp_sugar (avoids non-trivial merges)

reference to datatype refinment paper

tuned theory imports

avoid constructor name clash

renamed theory files to be closer to (new) command names

only generate feature weights for queries -- they're not used elsewhere

generate max suggestions in MaSh export driver

new version of MaSh tool, with more server bugfixes

take out dangerous feature, now that all updates are permanent

use new MaSh command-line arguments

shutdown MaSh server

new version of MaSh tool, with less broken server

merged

more careful parsing of nested argument tokens -- avoid Parse.RESET_VALUE on still uninterpreted material;