Home
last modified time | relevance | path

Searched refs:contyp (Results 1 – 5 of 5) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/
H A DConvert.hs133 contyp npar I.EmptyTel = I.El (I.mkType 0 {- arbitrary -}) $ function
135contyp npar (I.ExtendTel it (I.Abs v tel)) = I.El (I.mkType 0 {- arbitrary -}) (I.Pi it (I.Abs v ( function
136 contyp npar (I.ExtendTel it I.NoAbs{}) = __IMPOSSIBLE__ function
137 contyp' <- convert $ contyp 0 tel
/dports/comms/kermit/kermit-9.0.305.04/
H A Dckutio.c12758 static int contyp = 0; /* +1 for isatty, -1 otherwise */ local
12760 if (contyp == 0) /* This prevents unnecessary */
12761 contyp = (isatty(0) ? 1 : -1); /* duplicated calls to isatty() */
12762 debug(F101,"conchk contyp","",contyp);
12763 if (backgrd || (contyp < 0))
/dports/java/javahelp/javahelp-3ca862d/jhMaster/JavaHelp/build/tools/
H A Dhtml2ps2325 if($contyp!~m|text/html|i) {$_=" <plaintext>\n$_"};
3630 ($contyp)=$dhead=~/Content-type:\s+(.*)/i;
3653 $contyp=$res->header('content-type');
3662 ($contyp)=$info{'HEADER'}=~/Content-type:\s+(.*)/i;
/dports/print/html2ps/html2ps-1.0b7/
H A Dhtml2ps2305 if($contyp!~m|text/html|i) {$_=" <plaintext>\n$_"};
3609 ($contyp)=$dhead=~/Content-type:\s+(.*)/i;
3632 $contyp=$res->header('content-type');
3641 ($contyp)=$info{'HEADER'}=~/Content-type:\s+(.*)/i;
/dports/textproc/p5-DocSet/DocSet-0.19/bin/
H A Dhtml2ps2303 if($contyp!~m|text/html|i) {$_=" <plaintext>\n$_"};
3609 ($contyp)=$dhead=~/Content-type:\s+(.*)/i;
3632 $contyp=$res->header('content-type');
3641 ($contyp)=$info{'HEADER'}=~/Content-type:\s+(.*)/i;