revisited ac28714b7478: more faithful preplaying with chained facts
Description
Description
Details
Details
- Provenance
blanchette Authored on - Parents
- rISABELLE6a0e1c14a8c2: wait for E 2.7 before using 'ite' in HO mode
- Branches
- Unknown
- Tags
revisited ac28714b7478: more faithful preplaying with chained facts Tags None Subscribers None
Description
Details
|