proof-general/isar/ex, branch master

proof-general/isar/ex, branch master Emacs plugins for proof management systems Update with files from Isabelle2011 (no actual changes). 2011-01-31T13:24:36+00:00 David Aspinall 2011-01-31T13:24:36+00:00 21a5dfa558403d0aef749803a64ec9a90d10e159

New files. 2011-01-31T13:21:38+00:00 David Aspinall 2011-01-31T13:21:38+00:00 41a65f5d8225e2ef8f53f619980cc072e67c8583

Deleted file 2011-01-31T13:21:17+00:00 David Aspinall 2011-01-31T13:21:17+00:00 49c323679be0b018a55199295482b6addd6e4cff

Another test file 2010-08-18T16:59:02+00:00 David Aspinall 2010-08-18T16:59:02+00:00 2a2e7bcea8900ef4f90ebf55fd1c82faab131b83

Move distribution examples into subdir 2010-08-03T12:48:09+00:00 David Aspinall 2010-08-03T12:48:09+00:00 417a4ed168b8982f7f8db417e2deb23693beedc7