Searched refs:ret (Results 1 - 8 of 8) sorted by relevance

/hets/utils/LiveCD/
H A DmkHetsLiveCD.py37 ret = os.system(cmd)
39 printExit("... file moved!", ret)
40 return ret
50 ret = os.system(cmd)
52 printExit("... main mod created!", ret)
53 return ret
61 ret = 0
71 ret = os.system(cmd)
72 if ret != 0:
75 printExit("... mini mods created!", ret)
[all...]
H A Dcolorprint.py42 # Prints an exitmessage (yellow) or an errormessage (red) if ret != 0.
44 # @param ret Returnvalue of function.
45 def printExit(info, ret):
46 if ret == 0:
/hets/test/KnownProvers/
H A Drun.sh6 ret=$?
7 (exit $ret) && echo " passed" || echo " failed"
/hets/utils/
H A Dwords.pl123 grep {my $ret = $_ ne $last_word;$last_word = $_;$ret; }
139 grep {my $ret = $_ ne $last_word;$last_word = $_;$ret; }
/hets/HolLight/OcamlTools/exportTools/
H A Doverload_loadfile.ml170 let load_file = fun f s -> if begin_load s then let ret = OldTopdirs.load_file f s and _ = end_load() in ret else true
185 let use_file = fun f s -> if begin_load s then let ret = OldToploop.use_file f s and _ = end_load() in ret else true
186 let use_silently = fun f s -> if begin_load s then let ret = OldToploop.use_silently f s and _ = end_load in ret else true
/hets/OWL2/java/lib/
H A Dtrove4j-3.0.3.jarMETA-INF/ META-INF/MANIFEST.MF gnu/ gnu/trove/ gnu/trove/decorator/ gnu/trove/function/ gnu/ ...
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...

Completed in 1649 milliseconds