Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Introduced \dofurl.
Isabelle_DOF/Isabelle_DOF/master This commit looks good Details

This commit is contained in:
Achim D. Brucker 2019-08-12 08:28:16 +01:00
parent f71706e67d
commit b1d4abbf48
7 changed files with 8 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
.config
View File

@ -1,6 +1,7 @@
DOF_VERSION="Unreleased" DOF_VERSION="Unreleased"
ISABELLE_VERSION="Isabelle2019: June 2019" ISABELLE_VERSION="Isabelle2019: June 2019"
ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/" ISABELLE_URL="https://isabelle.in.tum.de/website-Isabelle2019/"
DOF_URL="https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
DOF_ARTIFACT_URL="https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF" DOF_ARTIFACT_URL="https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF"
AFP_DATE="afp-2019-06-17" AFP_DATE="afp-2019-06-17"
AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz" AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"

2
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/IsaDofApplications.thy
View File

@ -729,7 +729,7 @@ text\<open> \isadof in its present form has a number of technical short-comings
paragraph\<open> Availability. \<close> paragraph\<open> Availability. \<close>
text\<open> The implementation of the framework, the discussed ontology definitions, text\<open> The implementation of the framework, the discussed ontology definitions,
and examples are available at and examples are available at
\url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/}.\<close> \url{\dofurl}.\<close>
paragraph\<open> Acknowledgement. \<close> paragraph\<open> Acknowledgement. \<close>
text\<open> This work was partly supported by the framework of IRT SystemX, Paris-Saclay, France, text\<open> This work was partly supported by the framework of IRT SystemX, Paris-Saclay, France,
and therefore granted with public funds within the scope of the Program ``Investissements d’Avenir''.\<close> and therefore granted with public funds within the scope of the Program ``Investissements d’Avenir''.\<close>

5
examples/technical_report/Isabelle_DOF-Manual/01_Introduction.thy
View File

@ -120,9 +120,8 @@ text\<open>
subsubsection\<open>Availability\<close> subsubsection\<open>Availability\<close>
text\<open> text\<open>
The implementation of the framework is available at The implementation of the framework is available at
\url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF/}. The website also provides \url{\dofurl}. The website also provides links to the latest releases. \isadof is licensed
links to the latest releases. \isadof is licensed under a 2-clause BSD license under a 2-clause BSD license (SPDX-License-Identifier: BSD-2-Clause).
(SPDX-License-Identifier: BSD-2-Clause).
\<close> \<close>
(*<*) (*<*)

2
examples/technical_report/Isabelle_DOF-Manual/04_RefMan.thy
View File

@ -689,7 +689,7 @@ text\<open>
This is a Isabelle_DOF project. The doëëcument preparation requires This is a Isabelle_DOF project. The doëëcument preparation requires
the Isabelle_DOF framework. }{% the Isabelle_DOF framework. }{%
For further help, see For further help, see
https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF} ë\url{\dofurl}ë
} }
\input{ontologies} % This will include the document specific \input{ontologies} % This will include the document specific
% ontologies from isadof.cfg % ontologies from isadof.cfg

2
examples/technical_report/Isabelle_DOF-Manual/document/preamble.tex
View File

@ -87,7 +87,7 @@ OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
This manual describes \isadof version \isadofversion. This manual describes \isadof version \isadofversion.
The latest development version as well as previous releases are available at The latest development version as well as previous releases are available at
\url{https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF}. \url{\dofurl}.
\paragraph*{Contributors.} We would like to thank the following contributors to \isadof \paragraph*{Contributors.} We would like to thank the following contributors to \isadof
(in alphabetical order): Idir Ait-Sadoune, Paolo Crisafulli, and Chantal Keller. (in alphabetical order): Idir Ait-Sadoune, Paolo Crisafulli, and Chantal Keller.

1
install
View File

@ -213,6 +213,7 @@ install_and_register(){
\\\\renewcommand{\\\\isabellefullversion}{$ISABELLE_VERSION\\\\xspace}\n \ \\\\renewcommand{\\\\isabellefullversion}{$ISABELLE_VERSION\\\\xspace}\n \
\\\\renewcommand{\\\\dof@version}{$DOF_VERSION}\n \ \\\\renewcommand{\\\\dof@version}{$DOF_VERSION}\n \
\\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL}\n \ \\\\renewcommand{\\\\isabelleurl}{$ISABELLE_URL}\n \
\\\\renewcommand{\\\\dofurl}{$DOF_URL}\n \
\\\\renewcommand{\\\\dof@artifacturl}{$DOF_ARTIFACT_URL}|" \ \\\\renewcommand{\\\\dof@artifacturl}{$DOF_ARTIFACT_URL}|" \
"$DIR/DOF-core.sty" "$DIR/DOF-core.sty"

1
src/DOF/latex/DOF-core.sty
View File

@ -25,6 +25,7 @@
\RequirePackage{fp} \RequirePackage{fp}
\newcommand{\isabelleurl}{UNDEFINED} \newcommand{\isabelleurl}{UNDEFINED}
\newcommand{\dofurl}{UNDEFINED}
\newcommand{\dof@isabelleversion}{UNDEFINED} \newcommand{\dof@isabelleversion}{UNDEFINED}
\newcommand{\isabellefullversion}{UNDEFINED\xspace} \newcommand{\isabellefullversion}{UNDEFINED\xspace}
\newcommand{\dof@version}{UNDEFINED} \newcommand{\dof@version}{UNDEFINED}