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.

Sign up for GitHub

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

Jump to bottom

pull request #4

Merged
merged 26 commits into from
Jun 12, 2022
Merged

pull request #4

merged 26 commits into from
Jun 12, 2022

Conversation

needslyp
Copy link

No description provided.

ShunkevichDV and others added 26 commits April 26, 2022 15:07
@ShunkevichDV
Typos fixed in SD of Cybernetic systems
e83b906
@ShunkevichDV
Merge pull request ostis-ai#253 from ostis-ai/fix/intro_hs
94d522f 
Typos fixed in SD of Cybernetic systems
@needslyp
Update first foreword
cb0c554
@needslyp
Merge branch 'master' of https://github.com/needslyp/ostis-standard
87f6478
@MksmOrlov
Several works about SD of logical formulas (ostis-ai#242)
0c94326 
* Several works about SD of logical formulas
Co-authored-by: Daniil Shunkevich <shu.dv@tut.by>
@ElizavetaLukomskaya
Entered a snippet General structure of the Standard (ostis-ai#252)
0792c8d 
Fragment General structure of the Standard added
@needslyp
changes by comments
8c89bbb
@jirobassik
Fixed dots between sections and page number (ostis-ai#257)
1f4e2d4
@ASivashs
Added editorial board. (ostis-ai#265)
fe4ef04
@needslyp
update begginning.tex
5dad3d3
@needslyp
Update first foreword (ostis-ai#254)
7dd797f 
Update first foreword
@AlesyaRabushka
fragment of the author's group (ostis-ai#255)
c8643b1 
Fragment of the author's group
@ElizavetaLukomskaya
Introduction and Descriptive logic
85417ba
@needslyp
new files
f524bdd
@needslyp
Merge branch 'sd_sem_web'
cf55e4b
@needslyp
Revert "Merge branch 'sd_sem_web'"
ebd7d65 
This reverts commit cf55e4b, reversing
changes made to 5dad3d3.
@needslyp
Merge branch 'ostis-ai:master' into master
1958461
@needslyp
merge from master
e411f40
@needslyp
Merge branch 'master' of https://github.com/needslyp/ostis-standard
b9bf35f
@needslyp
Merge branch 'sd_sem_web'
8eb312c
@needslyp
Merge branch 'master' of https://github.com/needslyp/ostis-standard
fc4fe19
@needslyp
Revert "Merge branch 'master' of https://github.com/needslyp/ostis-st…
9bdab96 
…andard"

This reverts commit fc4fe19, reversing
changes made to 8eb312c.
@needslyp
Revert "Merge branch 'sd_sem_web'"
7a2949e 
This reverts commit 8eb312c, reversing
changes made to 5dad3d3.
@needslyp
Revert "Revert "Merge branch 'sd_sem_web'""
01a17d9 
This reverts commit ebd7d65.
@needslyp
Revert "new files"
b24e492 
This reverts commit f524bdd.
@needslyp
add info
09e82b2
@ElizavetaLukomskaya ElizavetaLukomskaya merged commit 70aa493 into ElizavetaLukomskaya:master Jun 12, 2022
ElizavetaLukomskaya pushed a commit that referenced this pull request Jun 14, 2022
@needslyp @ElizavetaLukomskaya
pull request (#4)
af20c9b
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
7 participants
@needslyp @ElizavetaLukomskaya @ShunkevichDV @MksmOrlov @jirobassik @ASivashs @AlesyaRabushka