Custom Query (361 matches)
Results (22 - 24 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #199 | fixed | Allow use of Isabelle.command to wrap commands singly | ||
| Description |
Isabelle.command allows additional "properties" to be attached to individual commands when they are processed by Isar. Example properties are file name and line number (Isabelle Position type), which are not maintained by the top-level loop, but would be useful to get error messages to include this information when processing interactively. |
|||
| #52 | fixed | An issue with current version of Trac | ||
| Description |
Some things to be careful of when using this Trac: On editing a ticket, after every invocation of Preview, "assign to" returns to the active user, rather than retaining the initial selection. Also, there seems to be no way to edit a ticket summary after the ticket has been created, which is a problem for empty-titled tickets. Perhaps these should be submitted to Trac's own bug list. |
|||
| #420 | fixed | Another Emacs indentation freeze | ||
| Description |
If you have the below code, then place the caret at the end of the "Case" line and press Ctrl+J (or Enter, TAB), Emacs will spin up and use 100% of the CPU. This is on 4.1-RC4.
Theorem rev_snoc : forall X : Type,
forall v : X,
forall s : list X,
rev (snoc s v) = v :: (rev s).
Proof.
simpl.
intros X v s.
induction s as [|s'].
Case "s=nil".
reflexivity.
Qed.
|
|||
