Searched refs:line (Results 1 - 19 of 19) sorted by relevance

/hets/utils/
H A Dwords.pl15 # the fonts file can be created by this bash line:
307 my $line = '';
315 while ($line = <WORDS>) {
316 &sep_tabular,next if $line=~ m/^\s*$/o;
317 if ($line =~ m/^%/o) {
318 chomp $line;
319 if ($line =~ m/^\%pattern:\s*/o) {
320 $line =~ s///o;
321 $pat = $line;
322 } elsif ($line
[all...]
H A Dquickcheck12 -- Change the first line of this file to the location of runhugs on your
H A Dquickcheck.lhs12 Change the first line of this file to the location of runhugs on your
/hets/RDF/java/de/unibremen/informatik/
H A DRDFReasoner.java42 String line;
44 while ((line = query_in.readLine()) != null)
45 queryString += line + "\n";
/hets/Isabelle/export/
H A Dparser.ml180 (* line 12 *)
184 (* line 14 *)
186 (* line 133 *)
188 (* line 129 *)
194 val trans_line = (* line 157 *)
195 let val trans_pat = (* line 147 *)
200 fun trans_arrow toks = (* line 152 *)
211 fun parse_interpretation_arguments mandatory = (* line 428 *)
216 (* line 514 *)
264 >> (Misc o Chapter)), (* line 1
[all...]
H A Dexport_helper.ml400 (* see HOL/Quickcheck.thy line 136 for an example with
/hets/FreeCAD/BrepConversion/src/
H A Dbrep_to_xml.cxx158 vector <int> line; local
163 line.push_back(0);
165 graph.push_back(line);
166 line.clear();
/hets/CASL/Termination/
H A DAProVE.jarMETA-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...
/hets/GMP/papers/conditional/
H A Dentcs.cls155 \bigskipamount=\@bls \@plus 0.3\@bls \@minus 0.3\@bls % 1/1 line
156 \medskipamount=0.5\bigskipamount % 1/2 line
157 \smallskipamount=0.25\bigskipamount % 1/4 line
160 \textwidth 33pc % \@Width of text line.
165 \skip\footins 12\p@ \@plus 8\p@ % Space between last line of text and
364 % a line and the top of the next line.
424 \skip\@mpfootins = 6\p@ \@plus 2\p@ % Space between last line of text and
617 \ifdim \wd\@tempboxa >\hsize % IF longer than one line THEN
620 \hbox to\hsize{\hfil\box\@tempboxa\hfil}% center single line
[all...]
/hets/GMP/papers/heterogenous/
H A Dentcs.cls155 \bigskipamount=\@bls \@plus 0.3\@bls \@minus 0.3\@bls % 1/1 line
156 \medskipamount=0.5\bigskipamount % 1/2 line
157 \smallskipamount=0.25\bigskipamount % 1/4 line
160 \textwidth 33pc % \@Width of text line.
165 \skip\footins 12\p@ \@plus 8\p@ % Space between last line of text and
364 % a line and the top of the next line.
424 \skip\@mpfootins = 6\p@ \@plus 2\p@ % Space between last line of text and
617 \ifdim \wd\@tempboxa >\hsize % IF longer than one line THEN
620 \hbox to\hsize{\hfil\box\@tempboxa\hfil}% center single line
[all...]
/hets/GMP/papers/optInWork/
H A Dentcs.cls155 \bigskipamount=\@bls \@plus 0.3\@bls \@minus 0.3\@bls % 1/1 line
156 \medskipamount=0.5\bigskipamount % 1/2 line
157 \smallskipamount=0.25\bigskipamount % 1/4 line
160 \textwidth 33pc % \@Width of text line.
165 \skip\footins 12\p@ \@plus 8\p@ % Space between last line of text and
364 % a line and the top of the next line.
424 \skip\@mpfootins = 6\p@ \@plus 2\p@ % Space between last line of text and
617 \ifdim \wd\@tempboxa >\hsize % IF longer than one line THEN
620 \hbox to\hsize{\hfil\box\@tempboxa\hfil}% center single line
[all...]
H A Dllncs.cls526 \addvspace{2em plus\p@}% % space above part line
532 \bfseries\boldmath % set line in boldface
/hets/GMP/papers/optimizing/
H A Dentcs.cls155 \bigskipamount=\@bls \@plus 0.3\@bls \@minus 0.3\@bls % 1/1 line
156 \medskipamount=0.5\bigskipamount % 1/2 line
157 \smallskipamount=0.25\bigskipamount % 1/4 line
160 \textwidth 33pc % \@Width of text line.
165 \skip\footins 12\p@ \@plus 8\p@ % Space between last line of text and
364 % a line and the top of the next line.
424 \skip\@mpfootins = 6\p@ \@plus 2\p@ % Space between last line of text and
617 \ifdim \wd\@tempboxa >\hsize % IF longer than one line THEN
620 \hbox to\hsize{\hfil\box\@tempboxa\hfil}% center single line
[all...]
H A Dllncs.cls526 \addvspace{2em plus\p@}% % space above part line
532 \bfseries\boldmath % set line in boldface
/hets/Common/doc/
H A DOverview.tex52 an error message for every line.
/hets/doc/
H A DUserGuide.tex17 {hyperref} %% do not load more packages after this line!!
757 command line option of \Hets. In all other cases \texttt{.xml} files are
1107 \item[Single line links] have homogeneous signature morphisms (staying within
1109 \item[Double line links] have heterogeneous signature morphisms (moving
H A DUserGuideCommonLogic.tex35 {hyperref} %% do not load more packages after this line!!
672 Note that the dot at the beginning of a line indicates that a new text begins.
/hets/OWL2/java/lib/
H A Dowlapi-osgidistribution-3.5.2.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/net. ...
H A Dguava-18.0.jarMETA-INF/MANIFEST.MF META-INF/ META-INF/maven/ META-INF/maven/com. ...

Completed in 4376 milliseconds