Labels Milestones

New Issue

1 Open 3 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

Milestone

All milestones No milestones

Open milestones

Isabelle/DOF 2.0

Closed milestones

Isabelle/DOF 1.3

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

adbrucker chantal.keller ci ftuong idir.aitsadoune makarius nemouchi nicolas.meric paolo.crisafulli simon.foster wolff

Sort

Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

1 Open 3 Closed

Open

Label

Clear labels

Milestone

No milestone

Open milestones

Isabelle/DOF 2.0

Open milestones

Isabelle/DOF 1.3

Projects

Clear projects

Assignee

Clear assignees

No assignee

adbrucker

chantal.keller

ci

ftuong

idir.aitsadoune

makarius

nemouchi

nicolas.meric

paolo.crisafulli

simon.foster

wolff

Add LaTeX definitions for new maths concepts

#29 by adbrucker was closed 2023-04-15 18:49:11 +00:00

Make lipics a supported setup

#13 by adbrucker was closed 2022-03-27 12:22:03 +00:00

Rename master to main

#9 by adbrucker was closed 2022-03-26 12:58:58 +00:00