| changeset 48608 | 88ff12baccba |
| parent 48586 | 500c6eb6c6dc |
| child 48972 | 196520d51afd |
| 48607:e24bfa4e3b84 | 48608:88ff12baccba |
|---|---|
24 - diff NEWS wrt. last official release, which is read-only; |
24 - diff NEWS wrt. last official release, which is read-only; |
25 |
25 |
26 - update https://isabelle.in.tum.de/repos/website; |
26 - update https://isabelle.in.tum.de/repos/website; |
27 |
27 |
28 - maintain Docs: |
28 - maintain Docs: |
29 doc-src: make all |
|
30 doc-src/Dirs |
29 doc-src/Dirs |
31 doc/Contents |
30 doc/Contents |
32 |
31 |
33 - maintain Logics: |
32 - maintain Logics: |
34 etc/components |
33 etc/components |