eager-and-lazy-elaboration #17
nicolas.meric
commented 2022-03-30 06:47:08 +00:00
Collaborator
No description provided.
nicolas.meric
added 4 commits 2022-03-30 06:47:08 +00:00
ec33e70bbf
Loosen dependency on Toplevel.transition
444d6d077c
Add eager and lazy elaboration
9cd5323063
Update DOF manual meta-types as types section
ci/woodpecker/pr/build Pipeline failed
Details
nicolas.meric
merged commit c5a3239d2b into main 2022-03-30 06:48:33 +00:00
nicolas.meric
referenced this issue from a commit 2022-03-30 06:48:33 +00:00
Merge pull request 'eager-and-lazy-elaboration' (#17) from nicolas.meric/Isabelle_DOF:eager-and-lazy-elaboration into main
Loading…
Reference in New Issue
No description provided.
Delete Branch "nicolas.meric/Isabelle_DOF:eager-and-lazy-elaboration"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?