Searched refs:diff (Results 1 - 14 of 14) sorted by relevance

/hets/CASL/
H A Diterate.sh5 cvs diff $i
/hets/test/HasCASLRenameTest/
H A Drun.sh4 git --no-pager diff Rename_s2.th
/hets/test/ParameterSpecTest/
H A Drun.sh8 git --no-pager diff ParameterSpecTest_X_inv.th ParamView.pp.xml ParamView.xml
/hets/Common/test/
H A DMakefile9 diff temp1 temp2
10 ../testxupdate < diff.AddingImports.decomposed.xml > temp
H A DcheckFunctions.sh24 if diff temp $outfile > /dev/null
27 echo " failed diff with $outfile"
/hets/utils/
H A DcheckChangedSourceGit.sh2 FILES=`git diff --name-only | grep .hs`
/hets/OWL2/tests/
H A DmakeXML.sh56 diff $i $i.xml
96 diff $i $i.omn
129 diff $i $i.mno
/hets/utils/nightly/linux/
H A Dweekly.sh22 diff pp1.txt pp2.txt
/hets/Static/test/
H A Drun.sh29 # bin/gmoc -itype file -otype diff -o $dir/$b2.xupdate2 sdiff \
38 diff -u $1 $3 > patch
/hets/CASL/doc/
H A DCASLParserOverview.tex54 and wrong files (\texttt{WrongBla.casl}) are tested. If a \texttt{diff}
65 \texttt{cvs diff} changes can be compared to checked-in versions of the output
/hets/Common/doc/
H A DOverview.tex54 If a \texttt{diff}
65 \texttt{cvs diff} changes can be compared to checked-in versions of the output
/hets/utils/nightly/
H A Dcronjob.sh298 diff Basic/LinearAlgebra_II.env Basic/LinearAlgebra_II.env.ttttt
440 svn diff
/hets/OWL2/java/lib/
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 1258 milliseconds