Custom Query (361 matches)
Results (31 - 33 of 361)
Ticket | Owner | Reporter | Resolution | Summary |
---|---|---|---|---|
#168 | fixed | Reorganise TODO files in distribution | ||
#170 | fixed | Improve outline syntax for Isar | ||
#171 | fixed | Documentation fix for Isabelle keybindings |
Note: See TracQuery
for help on using queries.