proof-general/isar/ex/README, 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 






Move distribution examples into subdir
2010-08-03T12:48:09+00:00

David Aspinall

2010-08-03T12:48:09+00:00

417a4ed168b8982f7f8db417e2deb23693beedc7