merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLEdf893af36eb4: converting arg to Arg
rISABELLE1d0d9772fff0: tuned imports; - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- 3556303bd385 create jar in pure Java;Author
- 1f31ed84c467 tuned signature;Author
- 3b340b44451c clarified order;Author
- 429c1ffb5a36 proper treatment of leading zero;Author
- 07781cae0f71 support for jar resources;Author
- b5d52a4d6fd9 tuned whitespace;Author
- c6631069357b tuned signature;Author
- 631b61f06d0e tuned signature;Author
- ac1639349ecf clarified directories;Author
- a8c5ee444991 clarified modules and signatures;Author
- 1d0d9772fff0 tuned imports;Author
- 0dd54d6c974a tuned: prefer Java interfaces;Author
- 1f1e490dd251 clarified modules;Author
- 4d64bc387867 tuned: prefer Java interfaces;Author
- 743a58b6b2c3 tuned: prefer Java interfaces;Author
- 5d44c6a7bd7b clarified signature;Author
- b709faa96586 clarified signature;Author
- d7ac039421ec proper usage;Author
- eb7655fcb090 clarified modules;Author
- 8f6b2eb15240 clarified modules;Author