Custom Query (2 matches)
| Ticket | Summary | Owner | Status | Resolution | Created | Ticket |
|---|---|---|---|---|---|---|
| #1 | Manticore parallel programming language | new | 15 years ago | |||
| #7 | Abella theorem prover | new | 13 years ago |
Note: See TracQuery
for help on using queries.
| Ticket | Summary | Owner | Status | Resolution | Created | Ticket |
|---|---|---|---|---|---|---|
| #1 | Manticore parallel programming language | new | 15 years ago | |||
| #7 | Abella theorem prover | new | 13 years ago |
Powered by Trac 1.2.3
By Edgewall Software.
Visit the Trac open source project at
http://trac.edgewall.org/