Skip to content

Commit

Permalink
chore: update opentheory
Browse files Browse the repository at this point in the history
  • Loading branch information
@c-cube
c-cube committed Dec 31, 2023
1 parent 392490f commit d56147d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion vendor/opentheory
Submodule opentheory updated 31 files
+3 −3 README.md
+1 −1 data/haskell/opentheory-bits/opentheory-bits.cabal
+1 −1 data/haskell/opentheory-byte/opentheory-byte.cabal
+1 −1 data/haskell/opentheory-divides/opentheory-divides.cabal
+1 −1 data/haskell/opentheory-parser/opentheory-parser.cabal
+1 −1 data/haskell/opentheory-prime/opentheory-prime.cabal
+1 −1 data/haskell/opentheory-primitive/opentheory-primitive.cabal
+1 −1 data/haskell/opentheory-probability/opentheory-probability.cabal
+1 −1 data/haskell/opentheory-stream/opentheory-stream.cabal
+1 −1 data/haskell/opentheory-unicode/opentheory-unicode.cabal
+1 −1 data/haskell/opentheory/opentheory.cabal
+1 −1 data/theories/base/base.thy
+1 −1 data/theories/byte/byte.thy
+1 −1 data/theories/char/char.thy
+1 −1 data/theories/natural-bits/natural-bits.thy
+1 −1 data/theories/natural-divides/natural-divides.thy
+1 −1 data/theories/natural-prime/natural-prime.thy
+1 −1 data/theories/parser/parser.thy
+1 −1 data/theories/probability/probability.thy
+1 −1 data/theories/stream/stream.thy
+4 −4 doc/changelog.html
+1 −1 doc/download.html
+2 −2 doc/index.html
+2 −2 doc/notes.html
+2 −2 repo/index.php
+2 −2 repo/php/global.php
+1 −1 repo/upload/index.php
+1 −1 src/PackageDocument.sml
+2 −2 src/RepositoryConfig.sml
+2 −2 src/Tool.sml
+3 −3 test/result.ok

0 comments on commit d56147d

Please sign in to comment.