Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Doc update #238

Closed
wants to merge 25 commits into from
Closed

Doc update #238

wants to merge 25 commits into from

Conversation

larrybabb
Copy link
Contributor

No description provided.

ahwagner and others added 25 commits November 26, 2024 23:24
updating text on the Statement page to reflect last minute shift to using Propositions in Statements
Updating example link to use the test fixtures scv example.
updating text in Base Profiles landing page to better describe the current state or affairs.
Updating text of Proposition Profiles page to reflect current state of affairs
minor edits/updates
removing out of date Statement data structure diagram.
adding updated statement data structure (detailed) diagram, w propositions
adding updated detailed Statement data structure diagram
removing outdated statement semantics diagram, to be replaced
updated version of statement semantics diagram that includes propositions
updating text to accommodate shift to use propositions in Statements
Documentation updates to support late shift to using Propositions in Statements
updating base profiles index to point to proposition-profiles instead of the now defunct statement-profiles - so RTD page shows for this.
@larrybabb larrybabb closed this Dec 4, 2024
@mbrush mbrush deleted the doc-update branch December 5, 2024 05:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants