6 Commits (3d07b3ddfb79454e0f4e32ffffc0d09db06d6ab7)

Author SHA1 Message Date
MinRK c4ac8eee36 add checkpoint API to FileNBManager
13 years ago
Paul Ivanov 6334a481b2 print info string on interrupt, log it on startup
13 years ago
Ohad Ravid c58e152f57 Answer Issue #2366
14 years ago
MinRK a9db0585d6 fix names of notebooks for download/save
14 years ago
Brian Granger d95f4bc810 Renaming BaseNotebookManager->NotebookManager to preserve config.
14 years ago
Brian Granger 050b61c90a Renaming basenbmanager.
14 years ago