46 lines
997 B
Plaintext
46 lines
997 B
Plaintext
$newline never
|
|
|
|
$# SPDX-FileCopyrightText: 2022 Gregor Kleen <gregor.kleen@ifi.lmu.de>,Steffen Jost <jost@tcs.ifi.lmu.de>
|
|
$#
|
|
$# SPDX-License-Identifier: AGPL-3.0-or-later
|
|
|
|
<section>
|
|
<h2>
|
|
_{MsgStudyFeaturesDegrees}
|
|
^{degreeTable}
|
|
<section>
|
|
<h2>
|
|
_{MsgStudyFeaturesTerms}
|
|
^{studytermsTable}
|
|
<section>
|
|
<h2>
|
|
_{MsgStudyFeatureNameInference}
|
|
<p>
|
|
$if null infNameConflicts
|
|
_{MsgStudyFeatureInferenceNoNameConflicts}
|
|
$else
|
|
<h3>_{MsgStudyFeatureInferenceNameConflictsHeading}
|
|
<ul>
|
|
$forall Entity _ (StudyTerms ky _ nm _ _) <- infNameConflicts
|
|
<li>
|
|
#{show ky} - #{foldMap id nm}
|
|
^{nameBtnForm}
|
|
|
|
<h2>
|
|
_{MsgStudyFeaturesNameCandidates}
|
|
^{candidateTable}
|
|
<section>
|
|
<h2>
|
|
_{MsgStudyFeatureParentInference}
|
|
^{parentsBtnForm}
|
|
|
|
<h2>
|
|
_{MsgStudyFeaturesParentCandidates}
|
|
^{parentCandidateTable}
|
|
<section>
|
|
<h2>
|
|
_{MsgStudyFeaturesStandaloneCandidates}
|
|
^{standaloneBtnForm}
|
|
|
|
^{standaloneCandidateTable}
|