Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Greasemonkey script for the Hyperspec
65 views
Skip to first unread message
Bigos
Sep 24, 2012, 7:44:57 PM9/24/12
to
Hi All,
I was created a script for Greasmonkey that changes appearance of the
Hyperspec. Please have a look and tell me what you think about it.
https://github.com/bigos/Pyrulis/blob/ddad0de11a599376178396ce4e458cafd0384040/Lisp/hyperspec-decorator.user.js
to use it:
1) install the Greasemonkey
https://addons.mozilla.org/en-US/firefox/addon/greasemonkey/
2) install the script itself by downloading it onto you local file
system and then dropping it into your Firefox window.
Tested with Firefox 15.01 and Greasemonkey 1.1
I was created a script for Greasmonkey that changes appearance of the
Hyperspec. Please have a look and tell me what you think about it.
https://github.com/bigos/Pyrulis/blob/ddad0de11a599376178396ce4e458cafd0384040/Lisp/hyperspec-decorator.user.js
to use it:
1) install the Greasemonkey
https://addons.mozilla.org/en-US/firefox/addon/greasemonkey/
2) install the script itself by downloading it onto you local file
system and then dropping it into your Firefox window.
Tested with Firefox 15.01 and Greasemonkey 1.1
Bigos
Sep 25, 2012, 5:16:27 PM9/25/12
to
bothered styling comments.
Pascal J. Bourguignon
Sep 25, 2012, 5:25:36 PM9/25/12
to
examples, and to add links to CL operators there too.
--
__Pascal Bourguignon__ http://www.informatimago.com/
A bad day in () is better than a good day in {}.
0 new messages