Custom Query (361 matches)
Results (40 - 42 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #153 | fixed | is "proof state" view needed anymore? | ||
| Description |
the CurrentStateView? ("Proof State") doesn't seem to be useful -- only shows "proofstate" pgip messages, which don't seem to come back any more. remove this view so as not to confuse users? (LatestOutputView? is much better.) otherwise improve documentation (and use) of State view so that its purpose clear. |
|||
| #210 | fixed | input of symbols in Carbon Emacs | ||
| Description |
symbol \<mapsto>. But not in Carbon Emacs. This is quite annoying, because some frequently used symbols have rather long names. Typing them explicitly is a major nuisance. |
|||
| #372 | invalid | funny => sign all over my scripts | ||
| Description |
for some reason proof general 4.0 is putting this funny "=>" symbol all over my scripts. What's going on? |
|||
Note: See TracQuery
for help on using queries.
