proof-general/etc/desktop/README, branch master

proof-general/etc/desktop/README, branch master Emacs plugins for proof management systems Updated. 2005-08-10T13:51:55+00:00 David Aspinall 2005-08-10T13:51:55+00:00 d9f22beab6fa3cae5dbd40341f54b6b2603e7227

Tweak desktop integration; add application-registry. 2004-03-01T01:25:16+00:00 David Aspinall 2004-03-01T01:25:16+00:00 dcaa1c1f37c63bc3e41f81f5f36a329a1976a45f

Updated. 2004-02-29T23:50:45+00:00 David Aspinall 2004-02-29T23:50:45+00:00 b25083cc569fb69326a09c68f3dae81a879367de

Extend notes. 2004-02-28T17:14:57+00:00 David Aspinall 2004-02-28T17:14:57+00:00 3752a03b8ef2401d0e1eeffecf809af5b99a18f0

*** empty log message *** 2004-02-28T16:49:05+00:00 David Aspinall 2004-02-28T16:49:05+00:00 ebfe15187031ecbff9ca6b00eb229b19b7b4e5bd

Fix loc 2004-02-28T16:48:26+00:00 David Aspinall 2004-02-28T16:48:26+00:00 41ef73fc4d6c34f98d77b60916bf9ce26bd159a9

New files. 2004-02-28T16:44:56+00:00 David Aspinall 2004-02-28T16:44:56+00:00 4c3d70b18ba404f69d66312004caa96dde0e37b8