Opened 16 years ago
Closed 16 years ago
#176 closed enhancement (fixed)
Allow isabelle-chosen-logic to be set by variable comment in thy file
Reported by: | David Aspinall | Owned by: | David Aspinall |
---|---|---|---|
Priority: | minor | Milestone: | PG-Emacs-3.7.1 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
At the moment a comment like
(* -*- isabelle-chosen-logic: "HOL-Nominal" -*- *)
doesn't work as desired because of the way the program arguments are set only when we change with the menu. Could improve this by using a calculate function like Coq does.
Note: See
TracTickets for help on using
tickets.