HomeIsabelle/Phabricator

misc tuning and modernization;

Authored by makarius.

Description

misc tuning and modernization;

Details

Committed
makariusMon, Jul 13, 9:20 PM
Parents
rISABELLE83456d9f0ed5: clarified examples;
Branches
Unknown
Tags
Unknown