Changes between Initial Version and Version 22 of Ticket #9107


Ignore:
Timestamp:
05/22/13 13:00:25 (7 years ago)
Author:
SimonKing
Comment:

Building the docs works for me, and the ... should be fixed now. Hence: Needs review!

Apply trac9107_nesting_nested_classes.patch trac_9107_fix_cross_reference.patch

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #9107

    • Property Status changed from new to needs_review
    • Property Authors changed from to Simon King
    • Property Cc SimonKing added
    • Property Dependencies changed from to #12808
    • Property Reviewers changed from to Volker Braun, Florent Hivert
  • Ticket #9107 – Description

    initial v22  
    2626This breaks a lot of doc in categories and in particular in functorial constructions.
    2727
    28 Florent
     28__Apply__
     29
     30- [attachment:trac9107_nesting_nested_classes.patch]
     31- [attachment:trac_9107_fix_cross_reference.patch]