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.

Change History (1)

comment:1 Changed 16 years ago by David Aspinall

Resolution: fixed
Status: newclosed
Note: See TracTickets for help on using tickets.