Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
17 check-ins
|
2019-03-14
| ||
| 19:31 | finished Leaf check-in: 491d383a82 user: yitzc tags: trunk | |
|
2018-11-30
| ||
| 00:15 | finished theorems check-in: 69693eed8d user: yitzc tags: trunk | |
|
2018-10-15
| ||
| 22:17 | finished section 3 check-in: 78a2130098 user: yitzc tags: trunk | |
|
2018-07-24
| ||
| 11:58 | indization section. ends added check-in: 7a407d815e user: yitzc tags: trunk | |
|
2018-05-24
| ||
| 14:17 | finished draft of sections 4&5 check-in: ace6067762 user: yitzc tags: trunk | |
|
2017-11-03
| ||
| 00:48 | WFS section check-in: 5e1f8455d2 user: yitzc tags: trunk | |
|
2017-09-26
| ||
| 21:15 | cospecial morphisms check-in: 0410cbf624 user: yitzc tags: trunk | |
|
2017-09-11
| ||
| 01:16 | essentially sec. 2 check-in: 190aba5410 user: yitzc tags: trunk | |
|
2017-08-15
| ||
| 19:55 | most defs of sec.1 check-in: b49e2d5b95 user: yitzc tags: trunk | |
|
2017-06-18
| ||
| 23:31 | continue with defs check-in: e1a1934657 user: yitzc tags: trunk | |
|
2017-06-08
| ||
| 00:22 | started check-in: e692a8eece user: yitzc tags: trunk | |
|
2017-06-05
| ||
| 19:47 | fresh start - TOC&bib check-in: f790d1c760 user: yitzc tags: trunk | |
| 19:43 | abandon old - latest changes check-in: dc3d22ae6c user: yitzc tags: trunk | |
|
2014-12-09
| ||
| 23:39 | continued with universality check-in: 52ada5c7fc user: yitzc tags: trunk | |
|
2014-12-01
| ||
| 01:05 | moved to memoir. commented out section 1 check-in: 777a13601c user: yitzc tags: trunk | |
|
2014-10-28
| ||
| 12:37 | adding files check-in: 9ef825993a user: yitzc tags: trunk | |
|
2014-02-26
| ||
| 20:16 | initial empty check-in check-in: 46af975d67 user: yitzc tags: trunk | |