Labels Milestones

Search

New Pull Request

0 Open 9 Closed

Label

Use alt + click/enter to exclude labels All labels

Milestone

All milestones Isabelle/DOF 1.3 Isabelle/DOF 2.0

Assignee

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

Sort

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

0 Open 9 Closed

Open

Label

Milestone

No milestone

Isabelle/DOF 1.3

Isabelle/DOF 2.0

Projects

No project

Assignee

No assignee

adbrucker

wolff

ftuong

idir.aitsadoune

paolo.crisafulli

nemouchi

chantal.keller

ci

simon.foster

nicolas.meric

eager-and-lazy-elaboration

#17 by nicolas.meric was merged 5 months ago

Add checking of invariants for class instances

#8 by nicolas.meric was merged 7 months ago

clean-up-isa-check-functions

#7 by nicolas.meric was merged 8 months ago

Add the possibility to make request on instances

#6 by nicolas.meric was merged 8 months ago

Fix the record generation in class implementation

#5 by nicolas.meric was merged 8 months ago

referential-equivalence-first-draft

#4 by nicolas.meric was merged 9 months ago

First draft of the value* command implementation

#3 by nicolas.meric was merged 9 months ago

class-term-antiquotation-implementation

#2 by nicolas.meric was merged 1 year ago

all changes

#1 by nicolas.meric was merged 1 year ago