Search

Home

Sort by

Full Search
Definition
Symbol
File Path
History

In Project(s)

Searched refs:fontsize (Results 1 - 5 of 5) sorted by relevance

/hets/GMP/papers/conditional/
H A D	entcs.cls	`110 \def\@abstractsize{\fontsize{\@viiipt}{8pt}\selectfont} 111 \def\@articletypesize{\fontsize{\@xipt}{11pt}\selectfont}`
/hets/GMP/papers/heterogenous/
H A D	entcs.cls	`110 \def\@abstractsize{\fontsize{\@viiipt}{8pt}\selectfont} 111 \def\@articletypesize{\fontsize{\@xipt}{11pt}\selectfont}`
/hets/GMP/papers/optInWork/
H A D	entcs.cls	`110 \def\@abstractsize{\fontsize{\@viiipt}{8pt}\selectfont} 111 \def\@articletypesize{\fontsize{\@xipt}{11pt}\selectfont}`
/hets/GMP/papers/optimizing/
H A D	entcs.cls	`110 \def\@abstractsize{\fontsize{\@viiipt}{8pt}\selectfont} 111 \def\@articletypesize{\fontsize{\@xipt}{11pt}\selectfont}`
/hets/CASL/Termination/
H A D	AProVE.jar	`META-INF/ META-INF/MANIFEST.MF aprove/ aprove/CommandLineInterface/ aprove/Framework/ aprove/Framework/Algebra/ aprove/Framework/ ...`

Completed in 46 milliseconds