Project 'resource-reasoning/publications' was moved to 'verified-software/publications'. Please update any links and bookmarks that may still have the old path.
Commits on Source (6)
-
Thomas Wood authored
Used commands: pkfix-helper needed.ps needed.pkfix-helper.ps \ -f "FA=cmr*@*" -f "Fs=cmsl*@*" -f "Fa=cmsl*@*" -f "FG=cmsy*@*" \ -f "Fc=cmmi10@*" -f "Ff=cmsy*@*" -f "FE=cmr*@*" -f "Ft=cmr*@*" \ -f "FJ=cmr12@*" -f "FH=cmr*@*" pkfix needed.pkfix-helper.ps needed.fixed.ps ps2pdf -sPAPERSIZE=a4 needed.fixed.ps
-
Thomas Wood authored
Commands used: pkfix-helper lf-full.ps lf-full.pkfix-helper.ps \ -f "Fa=cmsl*@*" -f "Fu=cmr*@*" -f "FC=cmsy*@*" -f "Fc=cmsy*@*" \ -f "Ff=cmex*@*" -f "Fv=cmsy*@*" pkfix lf-full.pkfix-helper.ps lf-full.pkfix.ps ps2pdf -sPAPERSIZE=a4 lf-full.pkfix.ps
-
Thomas Wood authored
-
Thomas Wood authored
Commands used: pkfix-helper journal.ps journal.pkfix-helper.ps \ -f "Ft=cmr*@*" -f "Fa=cmmi*@*" -f "Fb=cmsy*@*" -f "Fd=cmsy*@*" \ -f "Fe=msam*@*" -f "Fi=cmmib*@*" -f "Fl=msbm10@*" -f "Fm=cmr*@*" \ -f "Fk=cmss*@*" -f "Fu=cmr*@*" pkfix journal.pkfix-helper.ps journal.pkfix.ps ps2pdf -sPAPERSIZE=a4 journal.pkfix.ps
-
Thomas Wood authored
Commands used: pkfix-helper horac.ps horac.pkfix-helper.ps \ -f "Fz=cmss*@*" -f "FB=cmbx*@*" -f "Fv=cmsl*@*" -f "FC=cmtex*@*" \ -f "Fh=line*@*" -f "Fj=cmss*@*" -f "FA=msbm10@*" -f "Fa=cmmi*@*" \ -f "Ff=msbm*@*" -f "Fm=cmmib*@*" -f "FI=cmr*@*" -f "FE=cmr*@*" pkfix horac.pkfix-helper.ps horac.pkfix.ps ps2pdf -sPAPERSIZE=a4 horac.pkfix.ps
-
Thomas Wood authored
Re-convert Zarfaty2006Local.pdf from PostScript, with correct paper size (page headings were overhanging)
Showing
- Gardner1994Discovering.pdf 0 additions, 0 deletionsGardner1994Discovering.pdf
- Gardner1995Equivalences.pdf 0 additions, 0 deletionsGardner1995Equivalences.pdf
- Gardner1995Name.published.pdf 0 additions, 0 deletionsGardner1995Name.published.pdf
- Gardner1997Types.extended.pdf 0 additions, 0 deletionsGardner1997Types.extended.pdf
- Gardner1999Closed.pdf 0 additions, 0 deletionsGardner1999Closed.pdf
- README.md 2 additions, 1 deletionREADME.md
- Zarfaty2006Local.pdf 0 additions, 0 deletionsZarfaty2006Local.pdf
- _publication_file_types.yml 4 additions, 1 deletion_publication_file_types.yml
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type
No preview for this file type