Custom Query (312 matches)
Results (301 - 312 of 312)
| Ticket | Summary | Status | Owner | Type | Priority | Milestone |
|---|---|---|---|---|---|---|
| #323 | Add sorting to Prover Windows | new | raider | feature | minor | 0.95 |
| #332 | Paraconsistent logic | new | till | task | minor | 1.0 |
| #390 | Pretty printing CspCASL processes lacks parentheses | assigned | gimblett | bug | minor | 1.0 |
| #396 | Provide new flag in uDrawGraph encapsulation | new | till | task | minor | 0.95 |
| #403 | sentence names also need to be renamed by comorphisms | new | maeder | bug | minor | 0.95 |
| #433 | reparsing theory files does not work | new | maeder | bug | minor | 0.95 |
| #454 | refactor generation of `Modal.ModalSystems` | new | codruta | task | minor | 2.0 |
| #456 | extendMorphism goes wrong for Categories.het | new | maeder | bug | minor | 0.95 |
| #551 | Proofs -> Automatic on Basic/LinearAlgebra_I.casl freezes GUI | new | till | bug | minor | 0.95 |
| #742 | for concurrent proofs the output is intermangled | new | luecke | bug | minor | 1.0 |
| #743 | Refactor pgip xml element handling | reopened | mgross | task | minor | 0.95 |
| #414 | refine implementation of renaming classes and types | new | maeder | feature | trivial | 2.0 |
Note: See TracQuery
for help on using queries.
