Changes between Initial Version and Version 13 of Ticket #18959
- Timestamp:
- 08/17/15 08:21:29 (6 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #18959
-
Property
Status
changed from
new
topositive_review
-
Property
Authors
changed from
to
Jori Mäntysalo
- Property Cc ncohen vdelecroix added
-
Property
Branch
changed from
to
u/jmantysalo/poset_documentation_polishing__integer_valued_properties
-
Property
Reviewers
changed from
to
Nathann Cohen
-
Property
Commit
changed from
to
3302f91538b7258d2ad58d413c84a69e0308a53c
-
Property
Status
changed from
-
Ticket #18959 – Description
initial v13 2 2 3 3 This continues the series beginning with #18925 and #18941. 4 5 (Also adds input checking for `random_order_ideal()`.)