Ce site Web nécessite JavaScript.
Tableau de bord
Explorateur
Aide
Connexion
Isabelle_DOF
/
Isabelle_DOF
Suivre
1
Ajouter aux favoris
0
Bifurcation
Vous avez déjà forké Isabelle_DOF
2
Code
Tickets
1
Demandes d'ajout
Publications
Wiki
Activité
Labels
Jalons
Nouvelle demande d'ajout
0 Ouvert
10 Fermé
Label
Afficher les labels archivés
Utilisez
Alt
+
Clic/entrée
pour exclure les labels.
Toutes les labels
Aucun label
Jalon
Tous les jalons
Aucun jalon
Jalons ouverts
Isabelle/DOF 2.0
Jalons fermés
Isabelle/DOF 1.3
Projet
Tous les projets
Aucun projet
Auteur
Tous les auteurs
Assigné
Tous les assignés
Aucun assigné
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Trier
Plus récent
Plus ancien
Mis à jour récemment
Mis à jour jadis
Les plus commentés
Les moins commentés
Date d'échéance la plus proche
Date d'échéance la plus éloignée
0 Ouvert
10 Fermé
Ouvrir
Label
Effacer les labels
Jalon
Aucun jalon
Jalons ouverts
Isabelle/DOF 2.0
Jalons ouverts
Isabelle/DOF 1.3
Projets
Effacer les projets
Assigné à
Supprimer les affectations
Pas d'assignataire
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
idir-remarks
ci/woodpecker/push/build
Pipeline failed
Détails
ci/woodpecker/pr/build
Pipeline failed
Détails
#30
par
adbrucker
fusionné
2023-05-15 06:34:50 +00:00
.
main
idir-remarks
eager-and-lazy-elaboration
ci/woodpecker/pr/build
Pipeline failed
Détails
#17
par
nicolas.meric
fusionné
2022-03-30 06:48:33 +00:00
.
main
nicolas.meric
:
eager-and-lazy-elaboration
Add checking of invariants for class instances
#8
par
nicolas.meric
fusionné
2022-01-25 07:50:27 +00:00
.
master
nicolas.meric
:
check-invariants-first-draft
clean-up-isa-check-functions
#7
par
nicolas.meric
fusionné
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
par
nicolas.meric
fusionné
2021-12-15 22:25:05 +00:00
.
master
nicolas.meric
:
request-on-instances-first-draft
Fix the record generation in class implementation
#5
par
nicolas.meric
fusionné
2021-12-07 18:51:35 +00:00
.
master
nicolas.meric
:
fix-record-generation
referential-equivalence-first-draft
#4
par
nicolas.meric
fusionné
2021-11-21 12:43:56 +00:00
.
master
nicolas.meric
:
referential-equivalence-first-draft
First draft of the value* command implementation
#3
par
nicolas.meric
fusionné
2021-11-21 12:43:46 +00:00
.
master
nicolas.meric
:
value-star-first-draft
class-term-antiquotation-implementation
#2
par
nicolas.meric
fusionné
2021-07-02 15:39:54 +00:00
.
master
nicolas.meric
:
class-term-antiquotation-implementation
all changes
#1
par
nicolas.meric
fusionné
2021-07-02 15:33:34 +00:00
.
master
nicolas.meric
:
eclectic-tutorial-add-todos-fix-typos