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

/hets/SoftFOL/tests/
H A Dcheck.sh10 rm -f Basic/*.env Basic/*.dfg
/hets/GUI/doc/
H A DWebInterfaceTests.tex43 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/Numbers.env
45 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/StructuredDatatypes.env
47 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/RelationsAndOrders.env
49 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/Algebra_I.env
51 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/SimpleDatatypes.env
102 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/Numbers.env
104 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/StructuredDatatypes.env
106 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/RelationsAndOrders.env
108 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/Algebra_I.env
110 Reading /home/cofi/jiang/HetCATS/CASL-lib/Basic/SimpleDatatypes.env
[all...]
/hets/HolLight/OcamlTools/exportTools/
H A Dexport.ml4 with Not_found -> raise (EnvError (Printf.sprintf "Couldn't find env variable %s" env_var));;
H A Doverload_loadfile.ml25 #load "env.cmo";;
84 and get_value_bindings env =
96 in get_val [] (Env.summary env)
/hets/utils/nightly/
H A Dcronjob.sh35 outtypes=env,thy,th,dfg,dfg.c,tptp,tptp.c,pp.het,pp.tex,pp.html,pp.xml,xml,json
140 do ./hets -v2 -o env,th,pp.het,pp.tex $i; done
150 do ./hets -v2 -o env,th,pp.het,pp.tex $i; done
297 ../Hets/Common/ATerm/ATermLibTest Basic/*.env
298 diff Basic/LinearAlgebra_II.env Basic/LinearAlgebra_II.env.ttttt
300 time ../Hets/Common/ATerm/ATermDiffMain Basic/LinearAlgebra_II.env \
301 Basic/LinearAlgebra_II.env.ttttt
420 for i in */*.env; do ./hets -v2 -o prf $i; done
/hets/utils/nightly/linux/
H A Dweekly.sh19 \rm -f Basic/*.env
/hets/doc/
H A DUserGuideCommonLogic.tex1448 a corresponding \texttt{env}, \texttt{casl}, or \texttt{het}
1480 | env
1495 The \texttt{env} and \texttt{prf} formats are for subsequent reading,
1654 % LocalWords: Suttner Waldmeister urgen ITYPE OMDoc prf ATerms env hpf trm hs
H A DUserGuide.tex1310 as explicit type of the input file. By default \texttt{env}, \texttt{casl},
1311 or \texttt{het} extensions are tried in this order. An \texttt{env} file
1313 \texttt{het} files contain plain \HetCASL text. An \texttt{env} file will
1320 a corresponding \texttt{env}, \texttt{casl}, or \texttt{het}
1352 | env
1367 The \texttt{env} and \texttt{prf} formats are for subsequent reading,

Completed in 140 milliseconds