merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEf4a39342111b: Moving Dedekind_Real to the AFP
rISABELLE8fcf57708636: merged - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
This commit merges a very large number of changes. Only the first 50 are shown.
- 89d975dd39f1 tunedAuthor
- 96da582011ae separated case reductionAuthor
- d06547c72775 streamlinedAuthor
- fd3d66066256 streamlinedAuthor
- c7ff16398535 streamlinedAuthor
- a2c5efb7298a disentangledAuthor
- d7f41034a239 tuned message;Author
- 5c0ea94757f2 more operations;Author
- f31fbe4e1909 tuned signature;Author
- d07c886a27a9 more robust install/uninstall;Author
- 42baf7ffa088 tuned signature;Author
- 216c2ac23a84 clarified signature;Author
- 6ed34e2e04dd proper usage;Author
- e8c1d982b275 tuned signature;Author
- 171ac44913ca clarified modules;Author
- 8f100a957f08 tuned signature;Author
- 064e44da2e88 clarified options;Author
- d92e0197ba01 clarified options -l vs. -R;Author
- 9004ded79add proper command-line tool;Author
- 4ce0a4d90dfa run Isabelle/VSCode via Scala;Author
- e4d6b9bd5071 clarified module name;Author
- ae330b4209d6 removed old generated file;Author
- 29ee987174c0 tuned message;Author
- 2b64d5657592 clarified errors;Author
- 5417613efd74 tuned messages;Author
- 249e900cc05f updated to vscode 1.65.2;Author
- fab9b0bd9715 proper result check;Author