Opened 17 years ago
Last modified 11 years ago
#82 new task
Isabelle symbols: harmonise Isabelle.sym, x-symbol-isabelle.el and isabellesym.sty
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | |
Component: | 1:pg-eclipse | Keywords: | |
Cc: |
Description
- Isabelle.sym should be a superset of x-symbol-isabelle.el and isabellesym.sty
This needs to be carefully examined to doublecheck the list of symbol names for completeness. About 300 symbols to check. A good way to do this would be to create a test theory file which includes each of the symbols. This should be added to the test suite of files in the ed.inf.proofgeneral.tests
suite.
Change History (2)
comment:1 Changed 17 years ago by
Milestone: | PG-Eclipse-1.0.6 → PG-Eclipse-1.1.0 |
---|
comment:2 Changed 11 years ago by
Milestone: | PG-Eclipse-1.1.0 |
---|
Note: See
TracTickets for help on using
tickets.
Milestone PG-Eclipse-1.1.0 deleted