Home My Page Projects Ott
Summary Activity Tracker

Ott-Bugs

Displaying results 1‒11 out of 11 total.

Assignee:
State:
Order by:

Viewing only opened records by default, use “Advanced queries” or “Simple Filtering and Sorting” to change.
Id Summary Open Date Submitted by State
11375variable clash in list comprehension* 2010-11-03 07:41Francesco Zappa NardelliOpen
11376ott looping on input* 2010-11-03 08:08Francesco Zappa NardelliOpen
11381sample file in distrib does not compile* 2010-11-03 08:38Francesco Zappa NardelliOpen
12095"internal: pp_hom_spec_elmake:" on user error* 2011-02-18 15:29NobodyOpen
13904Shadowing variables for list premises (21.2)* 2012-02-19 18:08NobodyOpen
14195coq error: The variable v_ is bound several times in pattern* 2012-04-26 23:20NobodyOpen
14643Invalid symterm in formula_dots* 2012-07-23 17:23Richard EisenbergOpen
16875in manual "e_neg <= e_add" is flipped* 2014-01-15 23:45NobodyOpen
17076Copy&paste error in help description* 2014-02-28 00:29NobodyOpen
20721Isabelle syntax change* 2016-08-30 12:58NobodyOpen
21719Q a Uw* 2018-09-29 13:45NobodyOpen
* Denotes requests > 300 Days Old