Skip to content

Commit

Permalink
Stabilize.
Browse files Browse the repository at this point in the history
keep the code clean and avoid unnecessary dependencies.
  • Loading branch information
Xinlu-Y committed Sep 19, 2024
1 parent 4a4f928 commit ad2ff01
Show file tree
Hide file tree
Showing 28 changed files with 246 additions and 241 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,6 @@ module Drasil.DblPend.Requirements where
import Language.Drasil
import Drasil.DocLang.SRS (datCon)
import Drasil.DocLang (mkPortableNFR, mkCorrectNFR)
import Language.Drasil.Chunk.Concept.NamedCombinators
import qualified Language.Drasil.Sentence.Combinators as S

import Data.Drasil.Concepts.Computation (inValue)
Expand Down
2 changes: 1 addition & 1 deletion code/stable/glassbr/SRS/HTML/GlassBR_SRS.html

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/glassbr/SRS/Jupyter/GlassBR_SRS.ipynb

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/glassbr/SRS/PDF/GlassBR_SRS.tex

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/glassbr/SRS/mdBook/src/SecNFRs.md

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/pdcontroller/SRS/HTML/PDController_SRS.html

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/pdcontroller/SRS/PDF/PDController_SRS.tex

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/pdcontroller/SRS/mdBook/src/SecNFRs.md

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/projectile/SRS/HTML/Projectile_SRS.html

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/projectile/SRS/Jupyter/Projectile_SRS.ipynb

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/projectile/SRS/PDF/Projectile_SRS.tex

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion code/stable/projectile/SRS/mdBook/src/SecNFRs.md

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

34 changes: 18 additions & 16 deletions code/stable/ssp/SRS/HTML/SSP_SRS.html

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading

0 comments on commit ad2ff01

Please sign in to comment.