less NEWS (see also afae60d6ff15);

switch from CVC5 to cvc5, including updates of internal tool references;

more robust wrt. Par_List.map in Browser_Info.build(), see also 2fff9ce6b460 and 787a203a20b6;

more thorough cleanup;

more options for build_release: support bundled browser_info and Find_Facts database;

more standard directory structure;

tuned output;

suppress MacOS.jar from jEdit 5.7.0, following 65fd0f032a75;

tuned GUI: attempt to improve divider mobility;

rebuild jedit component;

make double sure that buffer.lineSeparator is well-defined: prevent a situation where $JEDIT_SETTINGS/properties would contain "buffer.lineSeparator=" and new-file would lead to a buffer with empty lineSeparator, and save would produce just one line;

more accurate syntax: follow documentation in "isar-ref" (and command 'syntax_consts');

more robust: make double sure that buffer.getText() is valid (see also 2e7073976c25);

clarifed terminology

extracted the ^^ subtheory for modularity reasons

tuned

merged

tuned;

minor performance tuning;

tuned;

tuned names;

minor performance tuning: avoid somewhat indirect filter / add_consts;

clarified signature: more standard map_data;

misc tuning;

clarified signature with minor performance tuning: avoid Context.proof_of with its Proof_Context.init_global;

tuned names;

more explicit tests for non-PolyML SML platforms

typo

merged

more NEWS;