Custom Query (361 matches)
Results (58 - 60 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #168 | fixed | Reorganise TODO files in distribution | ||
| Description |
Most of the TODO/todo files are obsolete. Some may have tasks worth undertaking and adding to trac |
|||
| #170 | fixed | Improve outline syntax for Isar | ||
| Description |
Outline syntax only contains theory headings at the moment. Perhaps the indent-open category should be added? |
|||
| #171 | fixed | Documentation fix for Isabelle keybindings | ||
| Description |
Hi,
ProofGeneral-3.7pre080117. |
|||
Note: See TracQuery
for help on using queries.
