Age | Commit message (Expand) | Author |
---|---|---|
2018-12-11 | dynkin-diagrams (11dec18) | Karl Berry |
2018-07-24 | dynkin-diagrams (24jul18) | Karl Berry |
2018-07-18 | dynkin-diagrams (18jul18) | Karl Berry |
2018-05-05 | dynkin-diagrams (5may18) | Karl Berry |
2018-02-11 | dynkin-diagrams (11feb18) | Karl Berry |
2017-11-18 | dynkin-diagrams (18nov17) | Karl Berry |