proof-general/isar/README, branch master

proof-general/isar/README, branch master Emacs plugins for proof management systems Update dates and versions 2011-01-14T17:07:27+00:00 David Aspinall 2011-01-14T17:07:27+00:00 462d8403fbe048aac215d809bfa72e7360384071

Update version numbers, release dates 2010-10-01T11:48:38+00:00 David Aspinall 2010-10-01T11:48:38+00:00 7af0b5b970aa72c7b9997a8107c961ee99fce3ec

Isabelle->isabelle binary. Remove Isar homepage. 2009-09-07T09:08:09+00:00 David Aspinall 2009-09-07T09:08:09+00:00 877c97b74b70c4d97164b0849acfd5577060741f

Correct Unicode support 2009-05-26T16:20:47+00:00 David Aspinall 2009-05-26T16:20:47+00:00 1316f30357ddf0a12ff12221d417962ab8a9acad

Update version, latest only. 2009-05-26T16:18:28+00:00 David Aspinall 2009-05-26T16:18:28+00:00 03d5d3d06ff645d9cd3d8caaf5335e94a11764cb

Updated. 2008-01-31T23:35:52+00:00 David Aspinall 2008-01-31T23:35:52+00:00 18a0c868a649599461756650a0bde4f36503af67

Update maintainers to add back the key person, 8-). 2008-01-31T23:09:14+00:00 David Aspinall 2008-01-31T23:09:14+00:00 96256758d268277b2501fa3ad7258e87708977da

Versions 2007-11-12T21:58:00+00:00 David Aspinall 2007-11-12T21:58:00+00:00 4920601b0e487df1b3431fde1027a99348802cf5

Tune 2004-08-25T12:42:12+00:00 David Aspinall 2004-08-25T12:42:12+00:00 e0f50df23ec37eba3c07a937aafb58dd61cef02a

Tune 2004-08-25T12:40:47+00:00 David Aspinall 2004-08-25T12:40:47+00:00 8fab6d33a9ea47ceec530c0bf4b8ca675272ffae