[isabelle] First public release of my VIm-Interface for Isabelle



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

Hi,

as a die hard VIm-User who wanted to use Isabelle/HOL for his diploma thesis,
I have (with some help from Timothy Burke) produced the following file:

http://jens.schicke.hvf-bs.net/data/isabelle-vim.tbz2

While not as elaborate as XSymbols+ProofGeneral, I use it for the proof work of
my thesis and find it comfortable enough.

A mini-HowTo is contained in the above archive.

Features:
- - Unicode math symbols for display
- - Insert mappings for said unicode symbols
- - Perl-script hack to connect a VIm window to a stateful Isabelle instance
- - minimal and non-exact syntax highlighting
- - trivial to install, should work with any current VIm version (I didn't test though)

Best Regards,
  Jens-Wolfhard Schicke
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)

iEYEARECAAYFAkj8QR0ACgkQzhchXT4RR5BnzgCgipHgQ+KXD1oEFDzm8DFCcakC
RmQAnRNNnJ5Liw5pTenycUKPeWDmh6uE
=3poD
-----END PGP SIGNATURE-----





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