diff --git a/Barber1997Action.pdf b/Barber1997Action.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..c85453b414ffb50aebf2bc72e635738a49b42e0e
Binary files /dev/null and b/Barber1997Action.pdf differ
diff --git a/Cardelli2002Spatial.pdf b/Cardelli2002Spatial.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..c201b07b3882d950e839b8adc81bf860fa23b587
Binary files /dev/null and b/Cardelli2002Spatial.pdf differ
diff --git a/Gardner1997From.pdf b/Gardner1997From.pdf
deleted file mode 100644
index 92d339c438530aeef82974b71827302abaeba791..0000000000000000000000000000000000000000
Binary files a/Gardner1997From.pdf and /dev/null differ
diff --git a/Gardner1997Type-theoretic.pdf b/Gardner1997Type.pdf
similarity index 100%
rename from Gardner1997Type-theoretic.pdf
rename to Gardner1997Type.pdf
diff --git a/Gardner1997Types.extended.pdf b/Gardner1997Types.extended.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..100c58f988d72f9e3bdeaada148eb4902d00a71b
Binary files /dev/null and b/Gardner1997Types.extended.pdf differ
diff --git a/Gardner1999Symmetric.abstract.pdf b/Gardner1999Symmetric.abstract.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..d598e45704cd19d50d69738d3a55dd656ce35b87
Binary files /dev/null and b/Gardner1999Symmetric.abstract.pdf differ
diff --git a/Gardner1999Symmetric.pdf b/Gardner1999Symmetric.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..d463152a55e8f0110ae768390d35bd6f2e787565
Binary files /dev/null and b/Gardner1999Symmetric.pdf differ
diff --git a/Gardner2000Explicit.pdf b/Gardner2000Explicit.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..4cecc7057e18cf97d5040e11c400ff5b678b6bcb
Binary files /dev/null and b/Gardner2000Explicit.pdf differ
diff --git a/Gardner2000Process.pdf b/Gardner2000Process.pdf
new file mode 100644
index 0000000000000000000000000000000000000000..dadc14515d069724861fbc50684ca053d83109f9
Binary files /dev/null and b/Gardner2000Process.pdf differ
diff --git a/README.md b/README.md
index 6bba30262727ef3e81baa1182f153aa627a3187b..cec6d41ff47d10f472b33bc25af4bb55d7224619 100644
--- a/README.md
+++ b/README.md
@@ -40,7 +40,8 @@ A BibTeX record looks like this:
@Type{Key,
field = {value},
field = {value},
-}```
+}
+```
For details of the possible types of entries, and their minimal set of required
fields, see [the Wikipedia BibTeX article](https://en.wikipedia.org/wiki/BibTeX#Entry_types).
@@ -97,24 +98,41 @@ Publication file types are listed in the configuration file
[`_publication_file_types.yml`](_publication_file_types.yml). These file types will
be offered directly for download:
* `.pdf`: Authors' Preprint
+* `.abstract.pdf`: Extended Abstract
+* `.extended.pdf`: Extended Version
* `.techreport.pdf`: Technical Report
* `.slides.pdf`: Slides
* `.zip`: File Archive (.zip)
+* `.tgz`: File Archive (.tgz)
These extensions are for plain text files containing _only_ the URL to link to:
* `.github.link`: Code Repository (GitHub)
* `.repo.link`: Code Repository
+## Converting Old .ps Files
+If you come across and old `.ps` or `.ps.gz` file, it should be converted to a
+PDF. This can be tricky to do in a way that preserves the font information
+adequately. These instructions should cover all eventualities:
+
+1. Check what software produced the file `grep Creator file.ps`, if the
+ software listed is `dvips`, then follow the instructions
+ [here](https://tex.stackexchange.com/a/120273/15188).
+2. Otherwise, you can use the `ps2pdf` software. If the original document page
+ size is A4, then you should add the parameter `-sPAPERSIZE=a4` to your
+ command.
+
## Git Submodule Notes
This repository is included as a submodule in the repositories for the [Group
Website](https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk) and
[Philippa's Homepage](https://gitlab.doc.ic.ac.uk/resource-reasoning/pgwebpage).
-Be aware that changes to the submodule _must_ be committed to the submodule (and
-optionally, to the top-level project). Website builds will always take the
-`master` branch of the publications repository, no matter what submodule version
-is committed to the website repositories, as they use the command `git submodule
-update --remote`, which always fetches the most recent version for use.
+Be aware that changes to the publications directory **must** be committed **and
+pushed** to the submodule (and optionally, to the top-level project).
+
+Website builds will always take the `master` branch of the publications
+repository, no matter what submodule version is committed to the website
+repositories, as they use the command `git submodule update --remote`, which
+always fetches the most recent version for use.
This repository can be included in website repositories either as a submodule or
as a checkout before build/deploy. Post-checkin/test pass hooks can be
diff --git a/_publication_file_types.yml b/_publication_file_types.yml
index 420d24ba97fc1325cf9b4f58eaa5138d8e491180..890012258612cd309ea0570b29fa740684182815 100644
--- a/_publication_file_types.yml
+++ b/_publication_file_types.yml
@@ -9,20 +9,29 @@
- ext: pdf
icon: fa-file-text-o
text: "Authors' Preprint"
+- ext: abstract.pdf
+ icon: fa-file-text-o
+ text: "Extended Abstract"
+- ext: extended.pdf
+ icon: fa-file-text-o
+ text: "Extended Version"
- ext: techreport.pdf
icon: fa-file-text-o
- text: Technical Report
+ text: "Technical Report"
- ext: slides.pdf
icon: fa-file-text-o
text: "Slides"
- ext: zip
icon: fa-file-archive-o
text: "File Archive (.zip)"
+- ext: tgz
+ icon: fa-file-archive-o
+ text: "File Archive (.tgz)"
- ext: github.link
icon: fa-github
- text: Code Repository (GitHub)
+ text: "Code Repository (GitHub)"
include: true
- ext: repo.link
icon: fa-code-fork
- text: Code Repository
+ text: "Code Repository"
include: true
diff --git a/publications.bib b/publications.bib
index 906d1a932086d194e6cdc20bccfd36de2adf051c..c962d5c06b0d129f0445d18463cfb98efad65100 100644
--- a/publications.bib
+++ b/publications.bib
@@ -342,6 +342,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
pages = {69--88},
publisher = {Springer},
doi = {10.1007/3-540-44618-4_7},
+ file = {Gardner2000Process.pdf:Gardner2000Process.pdf:PDF},
}
@InProceedings{Gardner2000Explicit,
@@ -355,6 +356,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
pages = {373--382},
publisher = {Springer},
doi = {10.1007/3-540-44612-5_33},
+ file = {Gardner2000Explicit.pdf:Gardner2000Explicit.pdf:PDF},
}
@Article{Gardner1999Closed,
@@ -390,6 +392,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
pages = {78--97},
publisher = {Springer},
doi = {10.1007/BFb0028008},
+ file = {Barber1997Action.pdf:Barber1997Action.pdf:PDF;Barber1997Action.ps:Barber1997Action.ps:PostScript},
}
@InProceedings{Gardner1997Types,
@@ -403,6 +406,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
pages = {583--603},
publisher = {Springer},
doi = {10.1007/BFb0014569},
+ file = {:Gardner1997Types.extended.pdf:PDF},
}
@Article{Gardner1995name,
@@ -591,6 +595,7 @@ We present JSCert, a formalisation of the current ECMA standard in the Coq proof
publisher = {Springer},
abstract = {We study a spatial logic for reasoning about labelled directed graphs, and the application of this logic to provide a query language for analysing and manipulating such graphs. We give a graph description using constructs from process algebra. We introduce a spatial logic in order to reason locally about disjoint subgraphs. We extend our logic to provide a query language which preserves the multiset semantics of our graph model. Our approach contrasts with the more traditional set-based semantics found in query languages such as TQL, Strudel and GraphLog.},
doi = {10.1007/3-540-45465-9_51},
+ file = {Cardelli2002Spatial.pdf:Cardelli2002Spatial.pdf:PDF},
project = { TBD },
}
@@ -1083,6 +1088,15 @@ Building on separation logic with concurrent abstract predicates (CAP), we intro
project = { TBD },
}
+@Unpublished{Gardner1999Symmetric,
+ author = {Gardner, Philippa and Wischik, Lucian J.},
+ title = {Symmetric Action Calculi},
+ note = {Extended Abstract appeared at EXPRESS'99},
+ month = feb,
+ year = {1999},
+ file = {:Gardner1999Symmetric.pdf:PDF;:Gardner1999Symmetric.abstract.pdf:PDF},
+}
+
@Comment{jabref-meta: databaseType:bibtex;}
@Comment{jabref-meta: saveActions:enabled;