This website requires JavaScript.
Overzicht
Verkennen
Help
Inloggen
Isabelle_DOF
/
Isabelle_DOF
Volgen
1
Ster
0
Vork
Je hebt Isabelle_DOF al geforked
2
Code
Kwesties
1
Pull-aanvragen
Publicaties
Wiki
Activiteit
Labels
Mijlpalen
Nieuwe Pull aanvraag
0 Open
10 Gesloten
Label
Show archived labels
Gebruik
alt
+
klik/voer
in om labels uit te sluiten
Alle labels
No label
Mijlpaal
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Project
All projects
Geen project
Auteur
Alle auteurs
Aangewezene
Alle toegewezen personen
Geen verantwoordelijke
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Sorteer
Nieuwste
Oudste
Recent bijgewerkt
Minst recent bijgewerkt
Meest besproken
Minst besproken
Dichtstbijzijnde deadline
Verste deadline
0 Open
10 Gesloten
Open
Label
Verwijder labels
Mijlpaal
Geen mijlpaal
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Projecten
Projecten wissen
Toegewezene
Verwijder toegewezen aan
Geen verantwoordelijke
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build
Pipeline failed
Details
ci/woodpecker/pr/build
Pipeline failed
Details
#30
door
adbrucker
was samengevoegd
2023-05-15 06:34:50 +00:00
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build
Pipeline failed
Details
#17
door
nicolas.meric
was samengevoegd
2022-03-30 06:48:33 +00:00
main
nicolas.meric
:
eager-and-lazy-elaboration
Add checking of invariants for class instances
#8
door
nicolas.meric
was samengevoegd
2022-01-25 07:50:27 +00:00
master
nicolas.meric
:
check-invariants-first-draft
clean-up-isa-check-functions
#7
door
nicolas.meric
was samengevoegd
2021-12-15 22:25:30 +00:00
master
nicolas.meric
:
clean-up-isa-check-functions
Add the possibility to make request on instances
#6
door
nicolas.meric
was samengevoegd
2021-12-15 22:25:05 +00:00
master
nicolas.meric
:
request-on-instances-first-draft
Fix the record generation in class implementation
#5
door
nicolas.meric
was samengevoegd
2021-12-07 18:51:35 +00:00
master
nicolas.meric
:
fix-record-generation
referential-equivalence-first-draft
#4
door
nicolas.meric
was samengevoegd
2021-11-21 12:43:56 +00:00
master
nicolas.meric
:
referential-equivalence-first-draft
First draft of the value* command implementation
#3
door
nicolas.meric
was samengevoegd
2021-11-21 12:43:46 +00:00
master
nicolas.meric
:
value-star-first-draft
class-term-antiquotation-implementation
#2
door
nicolas.meric
was samengevoegd
2021-07-02 15:39:54 +00:00
master
nicolas.meric
:
class-term-antiquotation-implementation
all changes
#1
door
nicolas.meric
was samengevoegd
2021-07-02 15:33:34 +00:00
master
nicolas.meric
:
eclectic-tutorial-add-todos-fix-typos