ExternalFunctions.ipynb

7 years ago

dgelessus authored 7 years ago

Now that ClassicalBFactory.loadString has been fixed in the ProB 2
kernel, the stdlib can be used in ::load machines.

8ad235f6

dgelessus authored 7 years ago

Now that ClassicalBFactory.loadString has been fixed in the ProB 2
kernel, the stdlib can be used in ::load machines.

Code owners

Assign users and groups as approvers for specific file changes. Learn more.