proof-general/COMPATIBILITY, branch master Emacs plugins for proof management systems Refer to Apple's operating system as macOS 2016-10-14T18:21:29+00:00 Tej Chajed 2016-10-14T18:16:02+00:00 168375b8fc9c24e89c63a599a38ae0686e6d4396 Starting with the latest version (10.12 "Sierra"), the operating system is called macOS rather than Mac OS X. 
Starting with the latest version (10.12 "Sierra"), the operating system
is called macOS rather than Mac OS X.
Update README 2016-02-10T17:18:13+00:00 Clément Pit--Claudel 2016-02-10T17:18:13+00:00 c2fbd46549c386d29f5cadd5094ee2f6601e27b8 






Drop support for Emacs 23.1 and earlier
2012-04-06T07:26:19+00:00

David Aspinall

2012-04-06T07:26:19+00:00

238b1f936024228b50049db89aa1bda94b082c6d












Update dates and versions
2011-10-03T09:04:26+00:00

David Aspinall

2011-10-03T09:04:26+00:00

a256d592c6e23747f327c993d947964b807e4991












Fix prover versions
2011-01-30T17:49:42+00:00

David Aspinall

2011-01-30T17:49:42+00:00

31987e85352e02610ddb779fa51bbd150ba30740












Deprecate Emacs 22.X
2011-01-30T17:48:48+00:00

David Aspinall

2011-01-30T17:48:48+00:00

75abd618fcfc46a35368493332067994954f3af1












Updated compatibility
2010-12-10T16:01:43+00:00

David Aspinall

2010-12-10T16:01:43+00:00

2cae8cd68ed67b7fa9496892bfdf567c53dd665a












Updated
2010-10-10T22:46:09+00:00

David Aspinall

2010-10-10T22:46:09+00:00

3a7b7a27a6069a968c3907f5c531f00249061a31












Reorder
2010-08-18T16:46:32+00:00

David Aspinall

2010-08-18T16:46:32+00:00

554193ec72d817eda4dd59681927554d0a7cc5ae












Fix wiki links
2010-08-18T16:37:04+00:00

David Aspinall

2010-08-18T16:37:04+00:00

dccfa9059f3a73c25880b12043188eb885fa184b