Merge pull request #3211 from linas/cross
Allow user to set parameters.
Revise the prompt
Bug fixes, again.
Try again; it still don't work.
Merge pull request #3210 from linas/cross
First rough draft.
Split into two; remove common text.
Split into two.
Must support 'clobber message
Avoid a crash
cleanup of the merged sections
Move sections around.
Save of temp edits
Replace cosines by MI
Restart the merge process
Two-tier counting strategy ...
Sigh. Got too optimistic in the last few computes.
Cut down on the number of words from the get-go.
Print distinct times.
More and more and more.
Ongoing distraction from the main theme.
Continue with exposition
Cache the results, during sorting
Untangle the min cutoff
Pass user-tunabble paramters to the disciminators