clarified document structure;
minor tuning;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE197a5b3a1ea2: promote "isabelle sync" to regular user-space tool, with proper documentation;
- Branches
- Unknown
- Tags
clarified document structure; Tags None Subscribers None
Description
Details
|