K 25
svn:wc:ra_dav:version-url
V 45
/svn/!svn/ver/256/2p/trunk/src/alice/tuprolog
END
LibraryManager.java
K 25
svn:wc:ra_dav:version-url
V 63
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/LibraryManager.java
END
InvalidTheoryException.java
K 25
svn:wc:ra_dav:version-url
V 71
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/InvalidTheoryException.java
END
StateInit.java
K 25
svn:wc:ra_dav:version-url
V 58
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/StateInit.java
END
SubGoalStore.java
K 25
svn:wc:ra_dav:version-url
V 61
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/SubGoalStore.java
END
RBTree.java
K 25
svn:wc:ra_dav:version-url
V 55
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/RBTree.java
END
OperatorManager.java
K 25
svn:wc:ra_dav:version-url
V 64
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/OperatorManager.java
END
ClauseInfo.java
K 25
svn:wc:ra_dav:version-url
V 59
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/ClauseInfo.java
END
Int.java
K 25
svn:wc:ra_dav:version-url
V 52
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Int.java
END
DefaultOperatorManager.java
K 25
svn:wc:ra_dav:version-url
V 71
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/DefaultOperatorManager.java
END
Long.java
K 25
svn:wc:ra_dav:version-url
V 53
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Long.java
END
StateException.java
K 25
svn:wc:ra_dav:version-url
V 63
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/StateException.java
END
PrimitiveManager.java
K 25
svn:wc:ra_dav:version-url
V 65
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/PrimitiveManager.java
END
FlagManager.java
K 25
svn:wc:ra_dav:version-url
V 60
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/FlagManager.java
END
IPrimitives.java
K 25
svn:wc:ra_dav:version-url
V 60
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/IPrimitives.java
END
Float.java
K 25
svn:wc:ra_dav:version-url
V 54
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Float.java
END
TheoryManager.java
K 25
svn:wc:ra_dav:version-url
V 62
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/TheoryManager.java
END
HaltException.java
K 25
svn:wc:ra_dav:version-url
V 62
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/HaltException.java
END
Term.java
K 25
svn:wc:ra_dav:version-url
V 53
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Term.java
END
Flag.java
K 25
svn:wc:ra_dav:version-url
V 53
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Flag.java
END
Tokenizer.java
K 25
svn:wc:ra_dav:version-url
V 58
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Tokenizer.java
END
Double.java
K 25
svn:wc:ra_dav:version-url
V 55
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Double.java
END
NoMoreSolutionException.java
K 25
svn:wc:ra_dav:version-url
V 72
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/NoMoreSolutionException.java
END
StateGoalEvaluation.java
K 25
svn:wc:ra_dav:version-url
V 68
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/StateGoalEvaluation.java
END
PrologError.java
K 25
svn:wc:ra_dav:version-url
V 60
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/PrologError.java
END
StateRuleSelection.java
K 25
svn:wc:ra_dav:version-url
V 67
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/StateRuleSelection.java
END
DefaultSubGoalId.java
K 25
svn:wc:ra_dav:version-url
V 65
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/DefaultSubGoalId.java
END
InvalidVarNameException.java
K 25
svn:wc:ra_dav:version-url
V 72
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/InvalidVarNameException.java
END
Token.java
K 25
svn:wc:ra_dav:version-url
V 54
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Token.java
END
PrimitiveInfo.java
K 25
svn:wc:ra_dav:version-url
V 62
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/PrimitiveInfo.java
END
StateBacktrack.java
K 25
svn:wc:ra_dav:version-url
V 63
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/StateBacktrack.java
END
FamilyClausesIndex.java
K 25
svn:wc:ra_dav:version-url
V 67
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/FamilyClausesIndex.java
END
ClauseStore.java
K 25
svn:wc:ra_dav:version-url
V 60
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/ClauseStore.java
END
InvalidLibraryException.java
K 25
svn:wc:ra_dav:version-url
V 72
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/InvalidLibraryException.java
END
Parser.java
K 25
svn:wc:ra_dav:version-url
V 55
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Parser.java
END
InvalidTermException.java
K 25
svn:wc:ra_dav:version-url
V 69
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/InvalidTermException.java
END
StructIterator.java
K 25
svn:wc:ra_dav:version-url
V 63
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/StructIterator.java
END
AbstractSubGoalTree.java
K 25
svn:wc:ra_dav:version-url
V 70
/svn/!svn/ver/249/2p/trunk/src/alice/tuprolog/AbstractSubGoalTree.java
END
ClauseDatabase.java
K 25
svn:wc:ra_dav:version-url
V 63
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/ClauseDatabase.java
END
SolveInfo.java
K 25
svn:wc:ra_dav:version-url
V 60
/svn/!svn/ver/256/2p/trunk/src/alice/tuprolog/SolveInfo.java
END
SubGoalElement.java
K 25
svn:wc:ra_dav:version-url
V 63
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/SubGoalElement.java
END
StateEnd.java
K 25
svn:wc:ra_dav:version-url
V 57
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/StateEnd.java
END
Theory.java
K 25
svn:wc:ra_dav:version-url
V 55
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Theory.java
END
PrologException.java
K 25
svn:wc:ra_dav:version-url
V 64
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/PrologException.java
END
Number.java
K 25
svn:wc:ra_dav:version-url
V 55
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Number.java
END
StateGoalSelection.java
K 25
svn:wc:ra_dav:version-url
V 67
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/StateGoalSelection.java
END
Operator.java
K 25
svn:wc:ra_dav:version-url
V 57
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Operator.java
END
FamilyClausesList.java
K 25
svn:wc:ra_dav:version-url
V 66
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/FamilyClausesList.java
END
JavaException.java
K 25
svn:wc:ra_dav:version-url
V 62
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/JavaException.java
END
EngineManager.java
K 25
svn:wc:ra_dav:version-url
V 62
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/EngineManager.java
END
Prolog.java
K 25
svn:wc:ra_dav:version-url
V 57
/svn/!svn/ver/217/2p/trunk/src/alice/tuprolog/Prolog.java
END
Library.java
K 25
svn:wc:ra_dav:version-url
V 56
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Library.java
END
Engine.java
K 25
svn:wc:ra_dav:version-url
V 55
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Engine.java
END
ClausesFilter.java
K 25
svn:wc:ra_dav:version-url
V 62
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/ClausesFilter.java
END
BuiltIn.java
K 25
svn:wc:ra_dav:version-url
V 58
/svn/!svn/ver/256/2p/trunk/src/alice/tuprolog/BuiltIn.java
END
ExecutionContext.java
K 25
svn:wc:ra_dav:version-url
V 65
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/ExecutionContext.java
END
ChoicePointContext.java
K 25
svn:wc:ra_dav:version-url
V 67
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/ChoicePointContext.java
END
SubGoalId.java
K 25
svn:wc:ra_dav:version-url
V 58
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/SubGoalId.java
END
SubGoalTree.java
K 25
svn:wc:ra_dav:version-url
V 60
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/SubGoalTree.java
END
State.java
K 25
svn:wc:ra_dav:version-url
V 54
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/State.java
END
TermIterator.java
K 25
svn:wc:ra_dav:version-url
V 61
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/TermIterator.java
END
ChoicePointStore.java
K 25
svn:wc:ra_dav:version-url
V 65
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/ChoicePointStore.java
END
Struct.java
K 25
svn:wc:ra_dav:version-url
V 55
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Struct.java
END
ISolution.java
K 25
svn:wc:ra_dav:version-url
V 58
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/ISolution.java
END
UnknownVarException.java
K 25
svn:wc:ra_dav:version-url
V 68
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/UnknownVarException.java
END
TermVisitor.java
K 25
svn:wc:ra_dav:version-url
V 60
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/TermVisitor.java
END
NoSolutionException.java
K 25
svn:wc:ra_dav:version-url
V 68
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/NoSolutionException.java
END
Var.java
K 25
svn:wc:ra_dav:version-url
V 54
/svn/!svn/ver/256/2p/trunk/src/alice/tuprolog/Var.java
END
MalformedGoalException.java
K 25
svn:wc:ra_dav:version-url
V 71
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/MalformedGoalException.java
END
Agent.java
K 25
svn:wc:ra_dav:version-url
V 54
/svn/!svn/ver/5/2p/trunk/src/alice/tuprolog/Agent.java
END
