This website requires JavaScript.
Dashboard
Explore
Help
Sign In
Isabelle_DOF
/
Isabelle_DOF
Watch
1
Star
0
Fork
You've already forked Isabelle_DOF
2
Code
Issues
1
Pull Requests
Releases
Wiki
Activity
Labels
Milestones
New Issue
0 Open
12 Closed
Label
Show archived labels
Use
alt
+
click/enter
to exclude labels
All labels
No label
Milestone
All milestones
No milestones
Open milestones
Isabelle/DOF 2.0
Closed milestones
Isabelle/DOF 1.3
Project
All projects
No project
Author
All authors
Assignee
All assignees
No assignee
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Sort
Newest
Oldest
Recently updated
Least recently updated
Most commented
Least commented
Nearest due date
Farthest due date
0 Open
12 Closed
Open
Label
Clear labels
Milestone
No milestone
Open milestones
Isabelle/DOF 2.0
Open milestones
Isabelle/DOF 1.3
Projects
Clear projects
Assignee
Clear assignees
No assignee
adbrucker
chantal.keller
ci
ftuong
idir.aitsadoune
makarius
nemouchi
nicolas.meric
paolo.crisafulli
simon.foster
wolff
Implement list_ontologies and list_document_templates
#28
by
adbrucker
was closed
2023-02-27 10:14:19 +00:00
Re-consider generation of release archives
#27
by
adbrucker
was closed
2023-02-27 15:37:09 +00:00
Add CI/CD setup for Isabelle_dev branch
#26
by
adbrucker
was closed
2023-04-28 10:21:46 +00:00
Investigate and document requirements for use_ontology and use_document_template
#25
by
adbrucker
was closed
2023-02-22 22:46:36 +00:00
New top-level Isar command "use_style" similar to use_ontology for generic LaTeX Styles
1
#24
by
adbrucker
was closed
2023-02-27 12:18:59 +00:00
Update documentation to reflect new session structure
#23
by
adbrucker
was closed
2023-04-15 18:49:20 +00:00
Add document build for session Isabelle_DOF-Unit_Tests
#22
by
adbrucker
was closed
2023-02-22 10:14:13 +00:00
Use full-qualified (session prefixed) names for document templates.
1
#21
by
adbrucker
was closed
2023-02-24 16:12:15 +00:00
Decide on dof_mkroot
#20
by
adbrucker
was closed
2023-02-26 21:28:48 +00:00
03_GuidedTour.thy: Fix Screenshot Fig01::figure
#12
by
adbrucker
was closed
2022-06-26 20:42:58 +00:00
Theorem_default_class theory attribute does not override Definition_default_class theory attribute
#11
by
nicolas.meric
was closed
2022-04-08 10:17:57 +00:00
Navigation of attributes inside "Meta-args" does not work
#10
by
nicolas.meric
was closed
2022-04-08 09:39:17 +00:00