Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
| cofi:start [2025/10/21 00:02] – katja | cofi:start [2025/10/21 00:04] (current) – katja | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | Start page for namespace CoFi | + | # Start page for namespace CoFi |
| - | [Degrees of formalisation](/doku.php/ | + | |
| + | [Degrees of formalisation](/ | ||