diff options
| author | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-05-15 21:44:45 +0200 |
|---|---|---|
| committer | Roberto Bagnara <roberto.bagnara@bugseng.com> | 2013-05-15 21:44:45 +0200 |
| commit | 4bf7d3f2d9eda608526d53fe854e452d13b85a23 (patch) | |
| tree | c4daea36f1f831f7159ce0d2f3da1dbdef2deb56 /doc | |
| parent | ecec8a84028b623f777cd1a424e4a82bdbc8b7dd (diff) | |
| parent | b06285533ca60251c4132d1c388c64bdcbea62aa (diff) | |
| download | ppl-4bf7d3f2d9eda608526d53fe854e452d13b85a23.tar.gz ppl-4bf7d3f2d9eda608526d53fe854e452d13b85a23.tar.bz2 ppl-4bf7d3f2d9eda608526d53fe854e452d13b85a23.zip | |
Merge branch 'master' into polyops
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/devref-language-interface.tex | 1 | ||||
| -rw-r--r-- | doc/devref.doxyconf-html.in | 8 | ||||
| -rw-r--r-- | doc/devref.doxyconf-latex.in | 8 | ||||
| -rw-r--r-- | doc/devref.tex | 1 | ||||
| -rw-r--r-- | doc/ppl_citations.bib | 4 | ||||
| -rw-r--r-- | doc/user-language-interface.tex | 1 | ||||
| -rw-r--r-- | doc/user.tex | 1 |
7 files changed, 14 insertions, 10 deletions
diff --git a/doc/devref-language-interface.tex b/doc/devref-language-interface.tex index 661feb534..fb734e62f 100644 --- a/doc/devref-language-interface.tex +++ b/doc/devref-language-interface.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/devref.doxyconf-html.in b/doc/devref.doxyconf-html.in index c3002b743..58cd081e2 100644 --- a/doc/devref.doxyconf-html.in +++ b/doc/devref.doxyconf-html.in @@ -102,10 +102,10 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/gpl.dox \ @srcdir@/fdl.dox INPUT_ENCODING = UTF-8 -FILE_PATTERNS = *.types.hh \ - *.defs.hh \ - *.inlines.hh \ - *.templates.hh \ +FILE_PATTERNS = *_types.hh \ + *_defs.hh \ + *_inlines.hh \ + *_templates.hh \ *.cc \ C_Integer.hh \ Coefficient_traits_template.hh \ diff --git a/doc/devref.doxyconf-latex.in b/doc/devref.doxyconf-latex.in index a2bd931f8..1259fd1a2 100644 --- a/doc/devref.doxyconf-latex.in +++ b/doc/devref.doxyconf-latex.in @@ -102,10 +102,10 @@ INPUT = @srcdir@/definitions.dox \ @srcdir@/gpl.dox \ @srcdir@/fdl.dox INPUT_ENCODING = UTF-8 -FILE_PATTERNS = *.types.hh \ - *.defs.hh \ - *.inlines.hh \ - *.templates.hh \ +FILE_PATTERNS = *_types.hh \ + *_defs.hh \ + *_inlines.hh \ + *_templates.hh \ *.cc \ C_Integer.hh \ Coefficient_traits_template.hh \ diff --git a/doc/devref.tex b/doc/devref.tex index fd69ac12c..e0d2e1476 100644 --- a/doc/devref.tex +++ b/doc/devref.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/ppl_citations.bib b/doc/ppl_citations.bib index 10f8514ee..9b11cbe07 100644 --- a/doc/ppl_citations.bib +++ b/doc/ppl_citations.bib @@ -56,7 +56,7 @@ Summarizing: @Article{AlbertACGPZ12, Author = "E. Albert and P. Arenas and S. Genaim and G. Puebla and D. Zanardini", - Title = "Cost analysis of object-oriented bytecode programs", + Title = "Cost Analysis of Object-Oriented Bytecode Programs", Journal = "Theoretical Computer Science", Volume = 413, Number = 1, @@ -530,7 +530,7 @@ Summarizing: Institution = "Departament de Llenguatges i Sistemes Inform{\`a}tics, Universitat Polit{\`e}cnica de Catalunya, Barcelona, Spain", Year = 2005, - Note = "Available at \url{http://www.lsi.upc.es/dept/techreps/techreps.html}" + Note = "Available at \url{http://www.lsi.upc.edu/dept/techreps/techreps.html}" } @Incollection{BandaG09, diff --git a/doc/user-language-interface.tex b/doc/user-language-interface.tex index df64139d1..05b2b3dce 100644 --- a/doc/user-language-interface.tex +++ b/doc/user-language-interface.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, diff --git a/doc/user.tex b/doc/user.tex index 32469b7cc..52ab7eee0 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -41,6 +41,7 @@ \usepackage{times} \usepackage{tocloft} \usepackage{ifpdf} +\usepackage[table]{xcolor} \ifpdf \usepackage[pdftex, pagebackref=true, |