Prover support tasks (17 matches)
These tasks are for work required in supporting components for connecting provers to Proof General, e.g., the ProofGeneral code inside Isabelle. Note that although the milestones are set by those for Proof General Eclipse, these reports include those for Proof General Emacs support.
Milestone: None (17 matches)
Note: See TracQuery
for help on using queries.