##// END OF EJS Templates
The pretty.py extension has been ported to the new extension API....
The pretty.py extension has been ported to the new extension API. I have also cleaned up the extension API to enable extension unloading and have added magics for working with extensions: * %load_ext * %reload_ext * %unload_ext
Brian Granger -
r2281:21a097ae
Show More
Name Size Modified Last Commit Author
/ docs / source / interactive
index.txt Loading ...
reference.txt Loading ...
shell.txt Loading ...
tutorial.txt Loading ...