merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEdf988eac234e: de-applying and tidying
rISABELLEe4d707eb7d1b: reactivate veriT after changing options in 11f645d25498 - Branches
- Unknown
- Tags
- Unknown
Event Timeline
Merged Changes
Merged Changes
- a0066948e7df renamed constantAuthor
- ca6a3ea1f7c4 discontinued old platforms;Author
- 5bf00b1dd7d8 more standard Value.print_time;Author
- 7d0861af3cb0 proper support for Windows exe;Author
- 845001bdf41a proper setup for Windows/MinGW;Author
- aca85e8d873d more robust;Author
- 60471f4bafd2 proper library names on Windows;Author
- de11c745ebbc tuned messages --- less SPAM;Author
- b32eea5823c8 tuned signature;Author
- e79294c4230c more portable;Author