Skip to content

Activity

add CNAME file

github-actions[bot]pushed 1 commit to gh-pages • 8f3cc74…ff30bbd • 
on Sep 12, 2024

Deployed bca684c with MkDocs version: 1.6.1

Force push
github-actions[bot]force pushed to gh-pages • b1c25f5…8f3cc74 • 
on Sep 12, 2024

Merge pull request #1 from maxkratz/hotfix/adapt-version-numbers

Pull request merge
czenglerpushed 2 commits to main • 52318d1…bca684c • 
on Sep 12, 2024

add CNAME file

github-actions[bot]pushed 1 commit to gh-pages • 5be78fa…b1c25f5 • 
on Aug 2, 2024

Deployed 52318d1 with MkDocs version: 1.6.0

Force push
github-actions[bot]force pushed to gh-pages • 1bcccbb…5be78fa • 
on Aug 2, 2024

fixed link to Formula Reader

rouven-walterpushed 1 commit to main • 667a7b1…52318d1 • 
on Aug 2, 2024

Deleted branch

rouven-walterdeleted replaced-parser • 
on Jul 31, 2024

add CNAME file

github-actions[bot]pushed 1 commit to gh-pages • c46424b…1bcccbb • 
on Jul 31, 2024

Deployed 667a7b1 with MkDocs version: 1.6.0

Force push
github-actions[bot]force pushed to gh-pages • ca333a4…c46424b • 
on Jul 31, 2024

documentation: replaced formula factory parser call by manual parser,…

rouven-walterpushed 4 commits to main • 2c773d0…667a7b1 • 
on Jul 31, 2024

documentation: replaced formula factory parser call by manual parser,…

rouven-waltercreated replaced-parser • 667a7b1 • 
on Jul 30, 2024

add CNAME file

github-actions[bot]pushed 1 commit to gh-pages • 5d10e2e…ca333a4 • 
on Apr 18, 2024

Deployed 2c773d0 with MkDocs version: 1.5.3

Force push
github-actions[bot]force pushed to gh-pages • 2d34104…5d10e2e • 
on Apr 18, 2024

Merge branch 'main' of github.com:logic-ng/logic-ng.github.io

rouven-walterpushed 2 commits to main • aafe632…2c773d0 • 
on Apr 18, 2024

add CNAME file

github-actions[bot]pushed 1 commit to gh-pages • bb4bcea…2d34104 • 
on Apr 18, 2024

Deployed aafe632 with MkDocs version: 1.5.3

Force push
github-actions[bot]force pushed to gh-pages • f4ebd15…bb4bcea • 
on Apr 18, 2024

fix authors and warnings

SHildebrandtpushed 1 commit to main • 35ec233…aafe632 • 
on Apr 18, 2024

fixed dnf subsumption example

Force push
SHildebrandtforce pushed to main • 5120400…35ec233 • 
on Apr 18, 2024

Update publish.yml

SHildebrandtpushed 1 commit to main • 35ec233…5120400 • 
on Apr 18, 2024

fixed dnf subsumption example

rouven-walterpushed 1 commit to main • bb19357…35ec233 • 
on Apr 18, 2024

add CNAME file

github-actions[bot]pushed 1 commit to gh-pages • c51d446…f4ebd15 • 
on May 25, 2023

Deployed bb19357 with MkDocs version: 1.4.3

Force push
github-actions[bot]force pushed to gh-pages • 2f4e427…c51d446 • 
on May 25, 2023

fix typos

SHildebrandtpushed 1 commit to main • 5335095…bb19357 • 
on May 25, 2023