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
1 Open
7 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
1 Open
7 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
Add LaTeX definitions for new maths concepts
#29
by
adbrucker
was closed
2023-04-15 18:49:11 +00:00
Re-design root-template setup
#19
by
adbrucker
was closed
2022-06-26 20:42:33 +00:00
Isabelle/DOF 1.3
Implement document directory preparation in Scala.
#16
by
adbrucker
was closed
2022-06-26 20:42:43 +00:00
Isabelle/DOF 1.3
Re-implement mk_root_DOF in Scala
#15
by
adbrucker
was closed
2022-06-26 20:43:23 +00:00
Isabelle/DOF 1.3
Configure document template and ontology styles (LaTeX) via Isabelle options in the ROOT file.
#14
by
adbrucker
was closed
2022-06-26 20:42:51 +00:00
Isabelle/DOF 1.3
Make lipics a supported setup
#13
by
adbrucker
was closed
2022-03-27 12:22:03 +00:00
Rename master to main
#9
by
adbrucker
was closed
2022-03-26 12:58:58 +00:00