K 25
svn:wc:ra_dav:version-url
V 61
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo
END
groundprogrambuilder.h
K 25
svn:wc:ra_dav:version-url
V 84
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo/groundprogrambuilder.h
END
stats.h
K 25
svn:wc:ra_dav:version-url
V 69
/svnroot/potassco/!svn/ver/4181/trunk/gringo/libgringo/gringo/stats.h
END
optimize.h
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/potassco/!svn/ver/4830/trunk/gringo/libgringo/gringo/optimize.h
END
output.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo/output.h
END
argterm.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4860/trunk/gringo/libgringo/gringo/argterm.h
END
junctionlit.h
K 25
svn:wc:ra_dav:version-url
V 75
/svnroot/potassco/!svn/ver/4806/trunk/gringo/libgringo/gringo/junctionlit.h
END
minmaxaggrlit.h
K 25
svn:wc:ra_dav:version-url
V 77
/svnroot/potassco/!svn/ver/4226/trunk/gringo/libgringo/gringo/minmaxaggrlit.h
END
formula.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4677/trunk/gringo/libgringo/gringo/formula.h
END
index.h
K 25
svn:wc:ra_dav:version-url
V 69
/svnroot/potassco/!svn/ver/4674/trunk/gringo/libgringo/gringo/index.h
END
lparseoutput.h
K 25
svn:wc:ra_dav:version-url
V 76
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo/lparseoutput.h
END
domain.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/4974/trunk/gringo/libgringo/gringo/domain.h
END
term.h
K 25
svn:wc:ra_dav:version-url
V 68
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/term.h
END
rule.h
K 25
svn:wc:ra_dav:version-url
V 68
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/rule.h
END
predlitrep.h
K 25
svn:wc:ra_dav:version-url
V 74
/svnroot/potassco/!svn/ver/4505/trunk/gringo/libgringo/gringo/predlitrep.h
END
lparseconverter.h
K 25
svn:wc:ra_dav:version-url
V 79
/svnroot/potassco/!svn/ver/4970/trunk/gringo/libgringo/gringo/lparseconverter.h
END
streams.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/3152/trunk/gringo/libgringo/gringo/streams.h
END
sumaggrlit.h
K 25
svn:wc:ra_dav:version-url
V 74
/svnroot/potassco/!svn/ver/4224/trunk/gringo/libgringo/gringo/sumaggrlit.h
END
instantiator.h
K 25
svn:wc:ra_dav:version-url
V 76
/svnroot/potassco/!svn/ver/4677/trunk/gringo/libgringo/gringo/instantiator.h
END
show.h
K 25
svn:wc:ra_dav:version-url
V 68
/svnroot/potassco/!svn/ver/4740/trunk/gringo/libgringo/gringo/show.h
END
mathterm.h
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/mathterm.h
END
rangeterm.h
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/potassco/!svn/ver/4860/trunk/gringo/libgringo/gringo/rangeterm.h
END
grounder.h
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo/grounder.h
END
booleanlit.h
K 25
svn:wc:ra_dav:version-url
V 74
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/booleanlit.h
END
reifiedoutput.h
K 25
svn:wc:ra_dav:version-url
V 77
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo/reifiedoutput.h
END
lualit.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/lualit.h
END
locateable.h
K 25
svn:wc:ra_dav:version-url
V 74
/svnroot/potassco/!svn/ver/3149/trunk/gringo/libgringo/gringo/locateable.h
END
lexer_impl.h
K 25
svn:wc:ra_dav:version-url
V 74
/svnroot/potassco/!svn/ver/4743/trunk/gringo/libgringo/gringo/lexer_impl.h
END
poolterm.h
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/potassco/!svn/ver/4860/trunk/gringo/libgringo/gringo/poolterm.h
END
predlit.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/predlit.h
END
storage.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4740/trunk/gringo/libgringo/gringo/storage.h
END
rangelit.h
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/rangelit.h
END
converter.h
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/potassco/!svn/ver/3149/trunk/gringo/libgringo/gringo/converter.h
END
prgvisitor.h
K 25
svn:wc:ra_dav:version-url
V 74
/svnroot/potassco/!svn/ver/4919/trunk/gringo/libgringo/gringo/prgvisitor.h
END
luaterm.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4860/trunk/gringo/libgringo/gringo/luaterm.h
END
compute.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/compute.h
END
constterm.h
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/constterm.h
END
varterm.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/varterm.h
END
litdep.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/4528/trunk/gringo/libgringo/gringo/litdep.h
END
exceptions.h
K 25
svn:wc:ra_dav:version-url
V 74
/svnroot/potassco/!svn/ver/4974/trunk/gringo/libgringo/gringo/exceptions.h
END
inclit.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo/inclit.h
END
external.h
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/potassco/!svn/ver/4737/trunk/gringo/libgringo/gringo/external.h
END
parityaggrlit.h
K 25
svn:wc:ra_dav:version-url
V 77
/svnroot/potassco/!svn/ver/4170/trunk/gringo/libgringo/gringo/parityaggrlit.h
END
predindex.h
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/potassco/!svn/ver/4203/trunk/gringo/libgringo/gringo/predindex.h
END
val.h
K 25
svn:wc:ra_dav:version-url
V 67
/svnroot/potassco/!svn/ver/4740/trunk/gringo/libgringo/gringo/val.h
END
functerm.h
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/functerm.h
END
printer.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4447/trunk/gringo/libgringo/gringo/printer.h
END
context.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/3626/trunk/gringo/libgringo/gringo/context.h
END
plainoutput.h
K 25
svn:wc:ra_dav:version-url
V 75
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo/plainoutput.h
END
clone_ptr.h
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/potassco/!svn/ver/4015/trunk/gringo/libgringo/gringo/clone_ptr.h
END
gringo.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/4974/trunk/gringo/libgringo/gringo/gringo.h
END
avgaggrlit.h
K 25
svn:wc:ra_dav:version-url
V 74
/svnroot/potassco/!svn/ver/4170/trunk/gringo/libgringo/gringo/avgaggrlit.h
END
lit.h
K 25
svn:wc:ra_dav:version-url
V 67
/svnroot/potassco/!svn/ver/4744/trunk/gringo/libgringo/gringo/lit.h
END
aggrlit.h
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/4834/trunk/gringo/libgringo/gringo/aggrlit.h
END
func.h
K 25
svn:wc:ra_dav:version-url
V 68
/svnroot/potassco/!svn/ver/4740/trunk/gringo/libgringo/gringo/func.h
END
rellit.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/4463/trunk/gringo/libgringo/gringo/rellit.h
END
parser.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/5061/trunk/gringo/libgringo/gringo/parser.h
END
stmdep.h
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/4830/trunk/gringo/libgringo/gringo/stmdep.h
END
valvecset.h
K 25
svn:wc:ra_dav:version-url
V 73
/svnroot/potassco/!svn/ver/4179/trunk/gringo/libgringo/gringo/valvecset.h
END
