Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upPost-mortem debugging: Clarify and document what happens to loaded packages when the dump is written and loaded again #12
Comments
|
Result:
This means
TODO Document this in the function header of Proove:
|
|
This behaviour is documented now in the help for the |
What happens to the search path
search(), are the loaded environments contained in the dump file or are the packages only referenced?Does
loadload the packages again that were loaded when the dump was written?...