Custom Query (14 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:


Ticket Summary Status Owner Type Priority Component
#4 Dodawanie nowych oznaczeń, aksjomatów itp. new tilk defect major Admin Interface
#6 Informować o ładowaniu czcionek new tilk defect major User Interface
#8 Zapisywanie przebiegu dowodzenia new tilk defect major Proof Editor
#9 Braki w polskim tłumaczeniu new tilk defect major User Interface
#10 Log in with OpenID Connect (e.g. Google) new enhancement major Database Front-end
#11 Persistent login cookie new enhancement major Database Front-end
#12 Definition proof step new enhancement major Proof Engine
#13 Set comprehensions with patterns new enhancement major Proof Engine
#14 Composite actions new enhancement major Proof Engine
#15 Analogies in proofs new enhancement major Proof Engine
#2 Ciche gubienie sesji po czasie new tilk defect minor User Interface
#3 Pisemny opis zadania new tilk defect minor User Interface
#5 Nawiasy w termach new tilk defect minor User Interface
#7 Brak ważnego lematu dla iloczynu kartezjańskiego i złożenia relacji new tilk defect minor Knowledge Database
Note: See TracQuery for help on using queries.