Re: [isabelle] An 'isabelle emacs' wrapper



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

On 12/08/11 23:53, René Neumann wrote:
> 1.) It can be passed a logic-pattern: This pattern is matched against
> all logics as returned by `isabelle findlogics` and then the first match
> is taken:
> 	So if you have 'HOL HOL-Cava-Libs HOL-Graphs HOL-Library Pure' as
> images, "C" would match 'HOL-Cava-Libs' as would "L" (first match wins).

I haven't looked at the script, but wouldn't "L" match 'HOL' first?

Tim
<><
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iEYEARECAAYFAk5ITAYACgkQ/cBxZIxl6rmh9gCg2sQcTUsPp85YhSoiI3JzfjtL
3CsAoIwjBDkAO0elUERtyQuIuoocAb85
=fRE/
-----END PGP SIGNATURE-----





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.