Custom Query (361 matches)
Results (73 - 75 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#170 | fixed | Improve outline syntax for Isar | ||
#171 | fixed | Documentation fix for Isabelle keybindings | ||
#172 | fixed | Problem with indentation in Coq mode |
Note: See TracQuery
for help on using queries.