Merge branch 'new_spawn' into devel
Conflicts: todo.txt web/news.txt web/nimrod.ini
This commit is contained in:
commit
6d3b632b47
39 changed files with 8083 additions and 7242 deletions
1
todo.txt
1
todo.txt
|
|
@ -4,6 +4,7 @@ version 0.9.6
|
|||
- scopes are still broken for generic instantiation!
|
||||
- integrate the new LL into the devel branch
|
||||
- start experimental branch
|
||||
- overloading of '='; general lift mechanism
|
||||
|
||||
Concurrency
|
||||
-----------
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue