Cleanup.
|
@ -1,254 +0,0 @@
|
||||||
Return-Path: <ana.cavalcanti@york.ac.uk>
|
|
||||||
X-Original-To: wolff@lri.fr
|
|
||||||
Delivered-To: wolff@lri.fr
|
|
||||||
Received: from lri.lri.fr (lri.lri.fr [129.175.15.1])
|
|
||||||
by smtp.lri.fr (Postfix) with SMTP id E56B9C0013
|
|
||||||
for <wolff@lri.fr>; Thu, 9 Dec 2021 16:28:27 +0100 (CET)
|
|
||||||
Received: from smtp-out-1.di.u-psud.fr (smtp-out-1.di.u-psud.fr [129.175.213.1])
|
|
||||||
by lri.lri.fr (Postfix) with SMTP id E23971E0088
|
|
||||||
for <wolff@lri.fr>; Thu, 9 Dec 2021 16:28:27 +0100 (CET)
|
|
||||||
Received: from pmx1.di.u-psud.fr (pmx1.di.u-psud.fr [129.175.212.152])
|
|
||||||
by smtp-out-1.di.u-psud.fr (UPS-MTA-OUT) with ESMTP id 4J8ybv6SSbz1FT16
|
|
||||||
for <wolff@lri.fr>; Thu, 9 Dec 2021 16:28:27 +0100 (CET)
|
|
||||||
Received: from smtp-in-1.di.u-psud.fr (localhost [127.0.0.1])
|
|
||||||
by localhost (UPS-PMX) with SMTP id 4J8ybv6LHvz1YpM
|
|
||||||
for <wolff@lri.fr>; Thu, 9 Dec 2021 16:28:27 +0100 (CET)
|
|
||||||
Received: from mail-lj1-f180.google.com (mail-lj1-f180.google.com [209.85.208.180])
|
|
||||||
(using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits))
|
|
||||||
(No client certificate requested)
|
|
||||||
by smtp-in-1.di.u-psud.fr (UPS-MTA) with ESMTPS id 4J8ybt6llGz9MS
|
|
||||||
for <wolff@lri.fr>; Thu, 9 Dec 2021 16:28:26 +0100 (CET)
|
|
||||||
Received: by mail-lj1-f180.google.com with SMTP id k2so9540460lji.4
|
|
||||||
for <wolff@lri.fr>; Thu, 09 Dec 2021 07:28:26 -0800 (PST)
|
|
||||||
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
|
|
||||||
d=york.ac.uk; s=20160523.google;
|
|
||||||
h=mime-version:from:date:message-id:subject:to:cc;
|
|
||||||
bh=5alMNJ4CIl4q0Bb6qZ6OR79LA8AnEx/adw4WDj6ss1U=;
|
|
||||||
b=TGuL0+NJH58AoaOHJvOH3aeyiSqI8mou0KnHIUunme1ETHo1oMwYFiyj36NoC2U3n0
|
|
||||||
L2+q9dWEJshmzZ2ZCJOOmfppucaUUA215R8sEq0xATpsgJEOhUq4NX8KuPKIMtqGOklL
|
|
||||||
IbkAbK1DrP8PgXAsAXyqtaKZ70mbCXcr6TRlX8cwh0lepGngyE/kuYoH5m/fd07jBQbM
|
|
||||||
mefZe/DrZZOStxhNZTo5cYhHDImfS062HC98xzBTOixBmKpnt0l8WO2+L/mSf+Uy2Bp/
|
|
||||||
g7RoU92O+BK4MJfKwtftMIr5rRkeRcXChrRWwB0PWZlRVohluKLZv6QUuZHboHXn+gWz
|
|
||||||
t7OA==
|
|
||||||
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
|
|
||||||
d=1e100.net; s=20210112;
|
|
||||||
h=x-gm-message-state:mime-version:from:date:message-id:subject:to:cc;
|
|
||||||
bh=5alMNJ4CIl4q0Bb6qZ6OR79LA8AnEx/adw4WDj6ss1U=;
|
|
||||||
b=yoW6NXelUhszxXXSx0YtOSgvcctAOeseunC7hr+czwfxwoLkDm+s9kJaDU/c9cifpe
|
|
||||||
tsbvIY6yfSHYcM0A6GJEdEAMEUw5sKbiqaN/6U7IPVxEULKrrv5iNsa3VAC1oEs6347h
|
|
||||||
WEmytRr7gz3BRWzoTNYwXbkXZ90XxISHm/6XnbY1FD9qTPnN7nRYjmTZ/Ch4rDqDuKIQ
|
|
||||||
dNFJv7keEThS1O09YjzfLgM1TlZBZvfVAynznfpMmXNhr0Xl/AeY8sOQVTX93pi3nIg/
|
|
||||||
ru7rWLGSfk3z0iw8684JaiOYI83uHrviJJRqk+fRo4HlVRCnb04laquUYYfWFDM6Zdv3
|
|
||||||
V3/Q==
|
|
||||||
X-Gm-Message-State: AOAM5309lZ2NvarfXzyeK/j8N2FoIPtDoDUuzKK0ygJWywoqasjTP6zw
|
|
||||||
4ZHq87kwgOFFIG778cp4QBPGuE167AChndO6rdhf4FP8BIk6SQ==
|
|
||||||
X-Google-Smtp-Source: ABdhPJxYBuPj0WaPU2+dsw1lpXe5nJjza6ObQrH+iZPa8E8q+OPoEExEjPrcS5aAQGueNcBan5IB1MdWQsBtWmuj70Y=
|
|
||||||
X-Received: by 2002:a2e:874b:: with SMTP id q11mr6956672ljj.194.1639063705718;
|
|
||||||
Thu, 09 Dec 2021 07:28:25 -0800 (PST)
|
|
||||||
MIME-Version: 1.0
|
|
||||||
From: Ana Cavalcanti <ana.cavalcanti@york.ac.uk>
|
|
||||||
Date: Thu, 9 Dec 2021 15:28:14 +0000
|
|
||||||
Message-ID: <CAH_UeZRqSo7jyQCe43VJHdoQ88iFbs6Ca0S2ujQiHumXUF6F4A@mail.gmail.com>
|
|
||||||
Subject: RAS special issue
|
|
||||||
To: Burkhart Wolff <wolff@lri.fr>
|
|
||||||
Cc: Alvaro Miyazawa <Alvaro.Miyazawa@york.ac.uk>
|
|
||||||
Content-Type: multipart/alternative; boundary="000000000000f1a7e205d2b841fd"
|
|
||||||
Authentication-Results: smtp-in-1.di.u-psud.fr;
|
|
||||||
dkim=pass header.d=york.ac.uk header.s=20160523.google header.b=TGuL0+NJ;
|
|
||||||
spf=pass (smtp-in-1.di.u-psud.fr: domain of ana.cavalcanti@york.ac.uk designates 209.85.208.180 as permitted sender) smtp.mailfrom=ana.cavalcanti@york.ac.uk;
|
|
||||||
dmarc=pass (policy=reject) header.from=york.ac.uk
|
|
||||||
X-Rspamd-Queue-Id: 4J8ybt6llGz9MS
|
|
||||||
X-Spamd-Result: default: False [-9.80 / 60.00];
|
|
||||||
BAYES_HAM(-9.00)[99.99%];
|
|
||||||
DMARC_POLICY_ALLOW(-0.50)[york.ac.uk,reject];
|
|
||||||
R_DKIM_ALLOW(-0.20)[york.ac.uk:s=20160523.google];
|
|
||||||
R_SPF_ALLOW(-0.20)[+ip4:209.85.128.0/17];
|
|
||||||
MIME_UNKNOWN(0.10)[multipart/alternative,text/plain,text/html];
|
|
||||||
MIME_TRACE(0.00)[0:~,1:~,2:~];
|
|
||||||
RCVD_TLS_LAST(0.00)[];
|
|
||||||
RWL_MAILSPIKE_POSSIBLE(0.00)[209.85.208.180:from];
|
|
||||||
FROM_EQ_ENVFROM(0.00)[];
|
|
||||||
RCVD_COUNT_TWO(0.00)[2];
|
|
||||||
RCPT_COUNT_TWO(0.00)[2];
|
|
||||||
DKIM_TRACE(0.00)[york.ac.uk:+];
|
|
||||||
FROM_HAS_DN(0.00)[];
|
|
||||||
RCVD_IN_DNSWL_NONE(0.00)[209.85.208.180:from];
|
|
||||||
PREVIOUSLY_DELIVERED(0.00)[wolff@lri.fr];
|
|
||||||
TO_DN_ALL(0.00)[];
|
|
||||||
TO_MATCH_ENVRCPT_SOME(0.00)[];
|
|
||||||
ASN(0.00)[asn:15169, ipnet:209.85.128.0/17, country:US]
|
|
||||||
X-Rspamd-Server: smtp-in-1.di.u-psud.fr
|
|
||||||
X-Sophos-SenderHistory: ip=209.85.208.180,fs=112995,da=99782160,mc=45,sc=3,hc=42,sp=6,fso=96970117,re=54,sd=13,hd=13
|
|
||||||
X-Spam: Probability=8%
|
|
||||||
X-Spam-Hits: The following antispam rules were triggered by this message:
|
|
||||||
Rule Score Description
|
|
||||||
AUTH_RES_PASS 0.000 SPF, DKIM and DMARC pass in Authentication-Results
|
|
||||||
BODYTEXTH_SIZE_10000_LESS 0.000 Body size of the text/html part is less than 10k
|
|
||||||
BODYTEXTH_SIZE_3000_MORE 0.000 Body size of the text/html part is more than 3K
|
|
||||||
DKIM_ALIGNS 0.000 The d= in the DKIM header aligns with the domain in the
|
|
||||||
From header
|
|
||||||
DKIM_SIGNATURE 0.000 DKIM_Signature
|
|
||||||
DQ_S_H 0.000 X-Sophos-SenderHistory header exists
|
|
||||||
FROM_EDU_TLD 0.000 From domain contains a .edu TLD
|
|
||||||
HREF_LABEL_TEXT_ONLY 0.000 All URIs in the body have text as label
|
|
||||||
HTML_BAD_EXTRAS 0.000 HTML part is surrounded with extra tags
|
|
||||||
KNOWN_MTA_TFX 0.000 According to Traffix, this is a known MTA
|
|
||||||
(SXL_IP_TFX_WM)
|
|
||||||
SXL_IP_TFX_WM 0.000 Received via a known whitelisted mail server (SXL
|
|
||||||
lookup): 180.208.85.209.fur
|
|
||||||
TEXT_DIRECTION 0.000 Text direction might be specified in the message
|
|
||||||
TEXT_DIR_LTR_ONLY 0.000 Text direction is left-to-right only
|
|
||||||
URI_ENDS_IN_HTML 0.000 uri pattern ending in html
|
|
||||||
URI_WITH_PATH_ONLY 0.000 The message does not contain a pathless URI
|
|
||||||
WEBMAIL_SOURCE 0.000 message appears to come from a webmail service
|
|
||||||
|
|
||||||
--000000000000f1a7e205d2b841fd
|
|
||||||
Content-Type: text/plain; charset="UTF-8"
|
|
||||||
Content-Transfer-Encoding: quoted-printable
|
|
||||||
|
|
||||||
Hi Bu,
|
|
||||||
|
|
||||||
Hope all is well with you. Long time, no talk.
|
|
||||||
|
|
||||||
As part of my work with the Royal Academy of Engineering, I have been
|
|
||||||
promoting Software Engineering for Robotics as an important and relevant
|
|
||||||
research topic. Recently, colleagues in RoboStar and I have successfully
|
|
||||||
proposed a special issue of Elsevier's Robotics and Autonomous Systems
|
|
||||||
journal: https://www.journals.elsevier.com/robotics-and-autonomous-systems.
|
|
||||||
This is a journal that has published next to no papers in Software
|
|
||||||
Engineering, so I see this as an excellent opportunity for us to expand the
|
|
||||||
visibility of our work.
|
|
||||||
|
|
||||||
I'm writing to ask you for your help with this. We do not think that the
|
|
||||||
RoboStar team at York should submit papers due to the obvious conflict of
|
|
||||||
interest. So, I need the community's support. The prospect is publishing
|
|
||||||
up to 15 papers (or more). So, what do we ask?
|
|
||||||
|
|
||||||
1. Consider submitting a paper: the deadline is 30 April, 2022;
|
|
||||||
2. Spread the word in your group, department, and wider network.
|
|
||||||
|
|
||||||
The Call for Papers can be found at
|
|
||||||
https://robostar.cs.york.ac.uk/CfP-ROBOT-2022.html. It is also reproduced
|
|
||||||
below for convenience.
|
|
||||||
|
|
||||||
If you have any questions, do not hesitate to contact me.
|
|
||||||
|
|
||||||
Many thanks in advance,
|
|
||||||
|
|
||||||
Ana
|
|
||||||
|
|
||||||
--------------------------------------------------------------------
|
|
||||||
# Special Issue: Software Engineering for Robotics # Robotics and
|
|
||||||
Autonomous Systems Journal, Elsevier
|
|
||||||
|
|
||||||
We invite submissions of papers on Software Engineering for Robotics for
|
|
||||||
publication in a special issue of Robotics and Autonomous Systems (
|
|
||||||
https://www.journals.elsevier.com/robotics-and-autonomous-systems).
|
|
||||||
|
|
||||||
## Scope
|
|
||||||
|
|
||||||
This special issue is devoted to original research papers on techniques,
|
|
||||||
applications, industrial case studies, and experience reports connected to
|
|
||||||
the design and deployment of software for robotic systems. Focus is given
|
|
||||||
on all aspects of modelling, simulation, and implementation for the
|
|
||||||
validation and verification of robotic systems.
|
|
||||||
|
|
||||||
## Topics of Interest
|
|
||||||
|
|
||||||
In particular, the topics of interest include but are not limited to
|
|
||||||
* Domain-specific languages for robotics
|
|
||||||
* Verification of robotic applications: simulation, testing, and deploymen=
|
|
||||||
t
|
|
||||||
* Requirements analysis and validation of robotic applications
|
|
||||||
* Hybrid modelling and analysis of robotics applications
|
|
||||||
* Probabilistic models and analysis for robotic applications
|
|
||||||
* Approaches to safety and security of robotic applications
|
|
||||||
* Software development processes and methods for robotics
|
|
||||||
* Robotic system maintenance, adaptation, and evolution
|
|
||||||
|
|
||||||
## Submission Format and Guideline
|
|
||||||
|
|
||||||
Papers should be submitted via the online submission system Editorial
|
|
||||||
Manager=C2=AE (https://www.editorialmanager.com/robot/default1.aspx) for th=
|
|
||||||
e
|
|
||||||
journal. There is a Guide for Authors (
|
|
||||||
https://www.elsevier.com/journals/robotics-and-autonomous-systems/0921-8890=
|
|
||||||
/guide-for-authors),
|
|
||||||
where you=E2=80=99ll find LaTeX templates. Use of LaTeX is recommended.
|
|
||||||
|
|
||||||
All papers will be peer-reviewed by three independent reviewers. Requests
|
|
||||||
for additional information should be addressed to the guest editors.
|
|
||||||
|
|
||||||
## Important dates
|
|
||||||
|
|
||||||
* Submission deadline: 30.04.2022
|
|
||||||
* Acceptance deadline: 30.11.2022
|
|
||||||
|
|
||||||
## Guest editors
|
|
||||||
|
|
||||||
* Ana Cavalcanti, University of York
|
|
||||||
* Alvaro Miyazawa, University of York
|
|
||||||
* Jon Timmis, University of Sunderland
|
|
||||||
|
|
||||||
--000000000000f1a7e205d2b841fd
|
|
||||||
Content-Type: text/html; charset="UTF-8"
|
|
||||||
Content-Transfer-Encoding: quoted-printable
|
|
||||||
|
|
||||||
<div dir=3D"ltr"><div class=3D"gmail_default" style=3D"font-size:small">Hi =
|
|
||||||
Bu,</div><div class=3D"gmail_default" style=3D"font-size:small"><br></div><=
|
|
||||||
div class=3D"gmail_default" style=3D"font-size:small">Hope all is well with=
|
|
||||||
you.=C2=A0 Long time, no talk.<br><br>As part of my work with the Royal Ac=
|
|
||||||
ademy of Engineering, I have been promoting Software Engineering for Roboti=
|
|
||||||
cs as an important and relevant research topic.=C2=A0 Recently, colleagues =
|
|
||||||
in RoboStar =C2=A0and I have successfully proposed a special issue of Elsev=
|
|
||||||
ier's Robotics and Autonomous Systems journal: <a href=3D"https://www.j=
|
|
||||||
ournals.elsevier.com/robotics-and-autonomous-systems">https://www.journals.=
|
|
||||||
elsevier.com/robotics-and-autonomous-systems</a>. This is a journal that ha=
|
|
||||||
s published next to no papers in Software Engineering, so I see this as an =
|
|
||||||
excellent opportunity for us to expand the visibility of our work.<br><br>I=
|
|
||||||
'm writing to ask you for your help with this.=C2=A0 We do not think th=
|
|
||||||
at the RoboStar team at York should submit papers due to the obvious confli=
|
|
||||||
ct of interest.=C2=A0 So, I need the community's support. The prospect =
|
|
||||||
is publishing up to 15 papers (or more).=C2=A0 So, what do we ask?<br><br>1=
|
|
||||||
. Consider submitting a paper: =C2=A0the deadline is 30 April, 2022;<br>2. =
|
|
||||||
Spread the word in your group, department, and wider network.<br><br>The Ca=
|
|
||||||
ll for Papers can be found at <a href=3D"https://robostar.cs.york.ac.uk/CfP=
|
|
||||||
-ROBOT-2022.html">https://robostar.cs.york.ac.uk/CfP-ROBOT-2022.html</a>.=
|
|
||||||
=C2=A0 It is also reproduced below for convenience.<br><br>If you have any =
|
|
||||||
questions, do not hesitate to contact me.<br><br>Many thanks in advance,<br=
|
|
||||||
><br>Ana<br><br>-----------------------------------------------------------=
|
|
||||||
---------<br># Special Issue: Software Engineering for Robotics # Robotics =
|
|
||||||
and<br>Autonomous Systems Journal, Elsevier<br><br>We invite submissions of=
|
|
||||||
papers on Software Engineering for Robotics for publication in a special i=
|
|
||||||
ssue of Robotics and Autonomous Systems (<a href=3D"https://www.journals.el=
|
|
||||||
sevier.com/robotics-and-autonomous-systems">https://www.journals.elsevier.c=
|
|
||||||
om/robotics-and-autonomous-systems</a>).<br><br>## Scope<br><br>This specia=
|
|
||||||
l issue is devoted to original research papers on techniques, applications,=
|
|
||||||
industrial case studies, and experience reports connected to the design an=
|
|
||||||
d deployment of software for robotic systems. Focus is given on all aspects=
|
|
||||||
of modelling, simulation, and implementation for the validation and verifi=
|
|
||||||
cation of robotic systems.<br><br>## Topics of Interest<br><br>In particula=
|
|
||||||
r, the topics of interest include but are not limited to<br>=C2=A0* Domain-=
|
|
||||||
specific languages for robotics<br>=C2=A0* Verification of robotic applicat=
|
|
||||||
ions: simulation, testing, and deployment<br>=C2=A0* Requirements analysis =
|
|
||||||
and validation of robotic applications<br>=C2=A0* Hybrid modelling and anal=
|
|
||||||
ysis of robotics applications<br>=C2=A0* Probabilistic models and analysis =
|
|
||||||
for robotic applications<br>=C2=A0* Approaches to safety and security of ro=
|
|
||||||
botic applications<br>=C2=A0* Software development processes and methods fo=
|
|
||||||
r robotics<br>=C2=A0* Robotic system maintenance, adaptation, and evolution=
|
|
||||||
<br><br>## Submission Format and Guideline<br><br>Papers should be submitte=
|
|
||||||
d via the online submission system Editorial Manager=C2=AE (<a href=3D"http=
|
|
||||||
s://www.editorialmanager.com/robot/default1.aspx">https://www.editorialmana=
|
|
||||||
ger.com/robot/default1.aspx</a>) for the journal. There is a Guide for Auth=
|
|
||||||
ors (<a href=3D"https://www.elsevier.com/journals/robotics-and-autonomous-s=
|
|
||||||
ystems/0921-8890/guide-for-authors">https://www.elsevier.com/journals/robot=
|
|
||||||
ics-and-autonomous-systems/0921-8890/guide-for-authors</a>), where you=E2=
|
|
||||||
=80=99ll find LaTeX templates.=C2=A0 Use of LaTeX is recommended.<br><br>Al=
|
|
||||||
l papers will be peer-reviewed by three independent reviewers. Requests for=
|
|
||||||
additional information should be addressed to the guest editors.<br><br>##=
|
|
||||||
Important dates<br><br>* Submission deadline: 30.04.2022<br>* Acceptance d=
|
|
||||||
eadline: 30.11.2022<br><br>## Guest editors<br><br>* Ana Cavalcanti, Univer=
|
|
||||||
sity of York<br>* Alvaro Miyazawa, University of York<br>* Jon Timmis, Univ=
|
|
||||||
ersity of Sunderland<br></div></div>
|
|
||||||
|
|
||||||
--000000000000f1a7e205d2b841fd--
|
|
|
@ -1,19 +0,0 @@
|
||||||
session "2022-RAS-SI" = "Isabelle_DOF" +
|
|
||||||
options [document = pdf, document_output = "output"]
|
|
||||||
theories
|
|
||||||
"paper"
|
|
||||||
document_files
|
|
||||||
"isadof.cfg"
|
|
||||||
"root.bib"
|
|
||||||
"preamble.tex"
|
|
||||||
"build"
|
|
||||||
"figures/AcVecSpaceVsSpeedVs.png"
|
|
||||||
"figures/actor_def.png"
|
|
||||||
"figures/MaxwellVsCutIn.png"
|
|
||||||
"figures/actor_driving_strategy_inclusion.png"
|
|
||||||
"figures/RSS_Safe_Longitudinal_Distance.png"
|
|
||||||
"figures/actor_driving_strategy_ref.png"
|
|
||||||
"figures/RSS_formula.png"
|
|
||||||
"figures/demon_def.png"
|
|
||||||
"figures/Samplings.png"
|
|
||||||
"figures/scenarios_def.png"
|
|
|
@ -1,47 +0,0 @@
|
||||||
#!/usr/bin/env bash
|
|
||||||
# Copyright (c) 2019 University of Exeter
|
|
||||||
# 2018-2019 University of Paris-Saclay
|
|
||||||
# 2018-2019 The University of Sheffield
|
|
||||||
#
|
|
||||||
# Redistribution and use in source and binary forms, with or without
|
|
||||||
# modification, are permitted provided that the following conditions
|
|
||||||
# are met:
|
|
||||||
# 1. Redistributions of source code must retain the above copyright
|
|
||||||
# notice, this list of conditions and the following disclaimer.
|
|
||||||
# 2. Redistributions in binary form must reproduce the above copyright
|
|
||||||
# notice, this list of conditions and the following disclaimer in
|
|
||||||
# the documentation and/or other materials provided with the
|
|
||||||
# distribution.
|
|
||||||
# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
|
|
||||||
# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
|
|
||||||
# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
|
|
||||||
# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
|
|
||||||
# COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
|
|
||||||
# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
|
|
||||||
# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
|
|
||||||
# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
|
|
||||||
# CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
|
|
||||||
# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
|
|
||||||
# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
|
|
||||||
# POSSIBILITY OF SUCH DAMAGE.
|
|
||||||
#
|
|
||||||
# SPDX-License-Identifier: BSD-2-Clause
|
|
||||||
|
|
||||||
set -e
|
|
||||||
if [ ! -f $ISABELLE_HOME_USER/DOF/document-template/build_lib.sh ]; then
|
|
||||||
>&2 echo ""
|
|
||||||
>&2 echo "Error: Isabelle/DOF not installed"
|
|
||||||
>&2 echo "====="
|
|
||||||
>&2 echo "This is a Isabelle/DOF project. The document preparation requires"
|
|
||||||
>&2 echo "the Isabelle/DOF framework. Please obtain the framework by cloning"
|
|
||||||
>&2 echo "the Isabelle/DOF git repository, i.e.: "
|
|
||||||
>&2 echo " git clone https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF"
|
|
||||||
>&2 echo "You can install the framework as follows:"
|
|
||||||
>&2 echo " cd Isabelle_DOF/document-generator"
|
|
||||||
>&2 echo " ./install"
|
|
||||||
>&2 echo ""
|
|
||||||
exit 1
|
|
||||||
fi
|
|
||||||
|
|
||||||
cp $ISABELLE_HOME_USER/DOF/document-template/build_lib.sh .
|
|
||||||
source build_lib.sh
|
|
Before Width: | Height: | Size: 27 KiB |
Before Width: | Height: | Size: 114 KiB |
Before Width: | Height: | Size: 61 KiB |
Before Width: | Height: | Size: 21 KiB |
Before Width: | Height: | Size: 17 KiB |
Before Width: | Height: | Size: 25 KiB |
Before Width: | Height: | Size: 26 KiB |
Before Width: | Height: | Size: 22 KiB |
Before Width: | Height: | Size: 17 KiB |
Before Width: | Height: | Size: 21 KiB |
|
@ -1,2 +0,0 @@
|
||||||
Template: scrartcl
|
|
||||||
Ontology: scholarly_paper
|
|
|
@ -1,8 +0,0 @@
|
||||||
%% This is a placeholder for user-specific configuration and packages.
|
|
||||||
|
|
||||||
\usepackage{stmaryrd}
|
|
||||||
|
|
||||||
\title{<TITLE>}
|
|
||||||
\author{<AUTHOR>}
|
|
||||||
|
|
||||||
|
|