Diese Website benötigt JavaScript.
Übersicht
Erkunden
Hilfe
Anmelden
Isabelle_DOF
/
Isabelle_DOF
Beobachten
1
Favorisieren
0
Fork
Du hast bereits einen Fork von Isabelle_DOF erstellt
2
Code
Issues
1
Pull-Requests
Releases
Wiki
Aktivität
Label
Meilensteine
Neuer Pull-Request
0 Offen
10 Geschlossen
Label
Archivierte Labels anzeigen
„
Alt
+
Klick/Enter
verwenden, um Label auszuschließen”
Alle Label
Kein Label
Meilenstein
Alle Meilensteine
Keine Meilensteine
Offene Meilensteine
Isabelle/DOF 2.0
Geschlossene Meilensteine
Isabelle/DOF 1.3
Projekt
Alle Projekte
Kein Projekt
Autor
Alle Autoren
Zuständig
Alle Zuständigen
Niemand zuständig
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Sortieren
Neueste
Älteste
Kürzlich aktualisiert
Am Längsten nicht aktualisiert
Am meisten kommentiert
Am wenigsten kommentiert
Nächstes Fälligkeitsdatum
Fernstes Fälligkeitsdatum
0 Offen
10 Geschlossen
Öffnen
Label
Label entfernen
Meilenstein
Kein Meilenstein
Offene Meilensteine
Isabelle/DOF 2.0
Offene Meilensteine
Isabelle/DOF 1.3
Projekte
Projekte löschen
Zuständig
Zuständige entfernen
Niemand zuständig
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
von
adbrucker
wurde
2023-05-15 06:34:50 +00:00
zusammengeführt
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build
Pipeline failed
Details
#17
von
nicolas.meric
wurde
2022-03-30 06:48:33 +00:00
zusammengeführt
main
nicolas.meric
:
eager-and-lazy-elaboration
Add checking of invariants for class instances
#8
von
nicolas.meric
wurde
2022-01-25 07:50:27 +00:00
zusammengeführt
master
nicolas.meric
:
check-invariants-first-draft
clean-up-isa-check-functions
#7
von
nicolas.meric
wurde
2021-12-15 22:25:30 +00:00
zusammengeführt
master
nicolas.meric
:
clean-up-isa-check-functions
Add the possibility to make request on instances
#6
von
nicolas.meric
wurde
2021-12-15 22:25:05 +00:00
zusammengeführt
master
nicolas.meric
:
request-on-instances-first-draft
Fix the record generation in class implementation
#5
von
nicolas.meric
wurde
2021-12-07 18:51:35 +00:00
zusammengeführt
master
nicolas.meric
:
fix-record-generation
referential-equivalence-first-draft
#4
von
nicolas.meric
wurde
2021-11-21 12:43:56 +00:00
zusammengeführt
master
nicolas.meric
:
referential-equivalence-first-draft
First draft of the value* command implementation
#3
von
nicolas.meric
wurde
2021-11-21 12:43:46 +00:00
zusammengeführt
master
nicolas.meric
:
value-star-first-draft
class-term-antiquotation-implementation
#2
von
nicolas.meric
wurde
2021-07-02 15:39:54 +00:00
zusammengeführt
master
nicolas.meric
:
class-term-antiquotation-implementation
all changes
#1
von
nicolas.meric
wurde
2021-07-02 15:33:34 +00:00
zusammengeführt
master
nicolas.meric
:
eclectic-tutorial-add-todos-fix-typos