Custom Query (361 matches)
Results (58 - 60 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#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.