K 25
svn:wc:ra_dav:version-url
V 54
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine
END
PrologSolution.java
K 25
svn:wc:ra_dav:version-url
V 74
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/PrologSolution.java
END
TheoryFilter.java
K 25
svn:wc:ra_dav:version-url
V 72
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/TheoryFilter.java
END
PrologInvocationContext.java
K 25
svn:wc:ra_dav:version-url
V 83
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/PrologInvocationContext.java
END
PrologInvocationKind.java
K 25
svn:wc:ra_dav:version-url
V 80
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/PrologInvocationKind.java
END
J2PProxyFactory.java
K 25
svn:wc:ra_dav:version-url
V 75
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/J2PProxyFactory.java
END
NoSolutionException.java
K 25
svn:wc:ra_dav:version-url
V 79
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/NoSolutionException.java
END
PJ.java
K 25
svn:wc:ra_dav:version-url
V 62
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/PJ.java
END
PrologObject.java
K 25
svn:wc:ra_dav:version-url
V 72
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/PrologObject.java
END
PrologArg.java
K 25
svn:wc:ra_dav:version-url
V 69
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/PrologArg.java
END
PJProlog.java
K 25
svn:wc:ra_dav:version-url
V 68
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/PJProlog.java
END
TermKind.java
K 25
svn:wc:ra_dav:version-url
V 68
/svn/!svn/ver/5/2p/trunk/src/alice/tuprologx/pj/engine/TermKind.java
END
