Search Result: $1

Results of 31 - 40 of about 826 for $1 (0.108 sec.)

File Coverage: /usr/local/share/automake-1.11/Automake/Options.pm 4567: File Coverage File: /usr/local/share/automake-1.11/Automake/Options.pm Coverage: 28.9% line stmt ... ; 277 0 0 $options->{'filename-length-max'} = [$_, $1]; 278 } 279 elsif ($_ eq 'silent-rules') 280 { 281 ... (.*)$/) 314 { 315 0 0 foreach my $cat (split (',', $1)) 316 { 317 0 0 0 msg 'unsupported', $where, "unkn ...; http://www.gnu.org/savannah-checkouts/gnu/automake/coverage/-usr-local-share-aut... - [detail] - [similar]

Theory Int_ZF_1 (Isabelle2019: June 2019) 4567: Theory Int_ZF_1 theory Int_ZF_1 imports Int_ZF_IML OrderedRing_ZF (* This file is a part of Isar ... o text ‹For any integer $m$ the greater of $m$ and $1$ is a positive integer that is greater or equal th ... an $m$. If we add $1$ to it we get a positive integer that is strictly ...; http://www.gnu.org/savannah-checkouts/non-gnu/isarmathlib/IsarMathLib/Int_ZF_1.h... - [detail] - [similar]

File Coverage: /usr/local/bin/autom4te 4541: File Coverage File: /usr/local/bin/autom4te Coverage: 77.4% line stmt bran cond sub pod time cod ... d can use the following escapes: 188 \$\$ literal \$ 189 \$f file where macro was called 190 \$l line wh ... ^([^:]+)(?::(.*))?$/ms; 402 76791 50 259231 $trace{$1} = defined $2 ? $2 : '$f:$l:$n:$%'; 403 76791 100 ... 202013 $trace{$m4_builtin_alternate_name{$1}} = $trace{$1} 404 if exists $m4_builtin_alternate ... _name{$1}; 405 } 406 407 # Work around the M4 builtins trac ...; http://www.gnu.org/savannah-checkouts/gnu/automake/coverage/-usr-local-bin-autom... - [detail] - [similar]

File Coverage: /usr/local/bin/autoupdate 4541: File Coverage File: /usr/local/bin/autoupdate Coverage: 83.1% line stmt bran cond sub pod time c ... m4_defs->getline) 136 { 137 46 50 335 $m4_builtins{$1} = 1 138 if /^(\w+):/; 139 } 140 1 5 $m4_defs->clo ... le ("$autoconf" 143 . " --trace AU_DEFINE:'AU:\$f:\$1'" 144 . " --trace define:'AC:\$f:\$1'" 145 . " --m ... |', keys %au_macros) . ')\b/_au_m4_changequote([,])$1/g'; 235 236 # au.m4 -- definitions the AU macros. ... em ("$autoconf --trace AU_DEFINE:'_au_defun(\@<:\@\$1\@:>\@, 238 \@<:\@\$2\@:>\@)' --melt /dev/null " 23 ...; http://www.gnu.org/savannah-checkouts/gnu/automake/coverage/-usr-local-bin-autou... - [detail] - [similar]

File Coverage: /usr/bin/print 4528: File Coverage File: /usr/bin/print Coverage: 20.5% line stmt bran cond sub pod time code 1 #! /u ... 0 my($tmpfile,$amt,$buf); 161 162 0 0 0 $tmpfile = $1 if ($match =~ m/nametemplate=(.*?)\s*($|;)/); 163 ... 0 0 0 0 0 0 print STDERR "Warning: definition of \"$1=$2\" overrides value \"${$1}\"\n" if ($ {$1} && $ ... {$1} != $2); 327 0 0 0 0 $ {$1}=$2; 328 } elsif (m!^-- ... 4 0 22375 0 print STDERR "Warning: definition of \"$1=$2\" overrides value \"${$1}\"\n" if ($ {$1} && $ ...; http://www.gnu.org/savannah-checkouts/gnu/automake/coverage/-usr-bin-print.html - [detail] - [similar]

Example (Wisent Parser Development) 4528: Next: Compiling a grammar , Previous: Grammar format , Up: Wisent Grammar [ Contents ][ Index ] ... ules (input ((line)) ((input line) (format "%s %s" $1 $2)) ) (line ((?;) (progn ";")) ((exp ?;) (format ... "%s;" $1)) ((error ?;) (progn "Error;"))) ) (exp ((NUM) (st ... ring-to-number $1)) ((exp ?= exp) (= $1 $3)) ((exp ?+ exp) (+ $1 $3) ... ) ((exp ?- exp) (- $1 $3)) ((exp ?* exp) (* $1 $3)) ((exp ?/ exp) (/ $1 ...; http://www.gnu.org/savannah-checkouts/gnu/emacs/manual/html_node/wisent/Example.... - [detail] - [similar]

cygbuild - Cygwin source and binary package build script 4521: NAME SYNOPSIS DESCRIPTION Packages with no version number Packages with non-standard versioning ... # CYGWIN-PATCHES/diff.sh -- custom diff diff -urN $1 $2 \ --exclude='.build' \ --exclude='.inst' \ --ex ...; http://www.gnu.org/savannah-checkouts/non-gnu/cygbuild/manual/ - [detail] - [similar]

Theory Int_ZF_3 (Isabelle2019: June 2019) 4521: Theory Int_ZF_3 theory Int_ZF_3 imports Int_ZF_2 (* This file is a part of IsarMathLib - a libra ... k" by ( rule Int_ZF_1_L15 ) qed text ‹Embedding of $1$ is the identity slope and embedding of zero is a ...; http://www.gnu.org/savannah-checkouts/non-gnu/isarmathlib/IsarMathLib/Int_ZF_3.h... - [detail] - [similar]

GNU M4 1.4.19 macro processor 4508: GNU M4 1.4.19 macro processor Table of Contents 1 Introduction and preliminaries 1.1 Introductio ... MODULE_INDICATOR], [ dnl comment GNULIB_]translit([$1],[a-z],[A-Z])[=1 ])dnl gl_STRING_MODULE_INDICATOR( ... to the translit are found by the tokens ‘ ( ', ‘ [$1] ', ‘ , ', ‘ [a-z] ', ‘ , ', ‘ [A-Z] ', and finall ... need capitalization, the result of the macro is ‘ $1 '. This expansion is rescanned, resulting in the t ... ined to be the sequence ‘ NL dnl comment NL GNULIB_$1=1 NL '. Once again, ‘ dnl ' is recognized and avoi ...; http://www.gnu.org/savannah-checkouts/gnu/m4/manual/m4.html - [detail] - [similar]

Theory OrderedRing_ZF (Isabelle2019: June 2019) 4508: Theory OrderedRing_ZF theory OrderedRing_ZF imports Ring_ZF OrderedGroup_ZF_1 (* This file is a ... simp } ultimately show ?thesis by blast qed text ‹$1$ is nonnegative.› corollary ( in ring1 ) ordring_o ... rease when multiplied by a number greater or equal $1$.› lemma ( in ring1 ) OrdRing_ZF_1_L16 : assumes A ... ative ring elements by an element greater or equal $1$.› lemma ( in ring1 ) OrdRing_ZF_1_L17 : assumes A ... ing_ZF_3_L7›: a ring element greater or equal than $1$ is positive.› corollary ( in ring1 ) OrdRing_ZF_3 ...; http://www.gnu.org/savannah-checkouts/non-gnu/isarmathlib/IsarMathLib/OrderedRin... - [detail] - [similar]