Closed fnogatz closed 4 years ago
Currently, the point Tutorials in the menu links to /Tutorial, though the file is called singular Tutorial (similar to the others, e.g., TutorialResources).
/Tutorial
Tutorial
TutorialResources
Thanks!
Thanks @fnogatz ! Indeed I was doing a lot of surgery there yesterday.
BTW, I just saw your swivm project to manage several SWIPL instances..
I will make a reference to your project in the JPL doc as it often necessary, especially when developing JPL (e.g., here
Currently, the point Tutorials in the menu links to
/Tutorial
, though the file is called singularTutorial
(similar to the others, e.g.,TutorialResources
).