Skip to content

Commit

Permalink
Merge branch 'main' of github.com:propensive/symbolism
Browse files Browse the repository at this point in the history
  • Loading branch information
propensive committed Jan 9, 2025
2 parents a454c0e + 5e57c59 commit 23d29fa
Show file tree
Hide file tree
Showing 10 changed files with 10 additions and 9 deletions.
1 change: 1 addition & 0 deletions .github/readme.md
Original file line number Diff line number Diff line change
Expand Up @@ -32,6 +32,7 @@ to write and build software which depends on Symbolism.




## Getting Started


Expand Down
2 changes: 1 addition & 1 deletion src/core/soundness+symbolism-core.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down
2 changes: 1 addition & 1 deletion src/core/symbolism-core.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down
2 changes: 1 addition & 1 deletion src/core/symbolism.Addable.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down
2 changes: 1 addition & 1 deletion src/core/symbolism.Divisible.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down
2 changes: 1 addition & 1 deletion src/core/symbolism.Multiplicable.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down
2 changes: 1 addition & 1 deletion src/core/symbolism.Negatable.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down
2 changes: 1 addition & 1 deletion src/core/symbolism.Rootable.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down
2 changes: 1 addition & 1 deletion src/core/symbolism.Subtractable.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down
2 changes: 1 addition & 1 deletion src/test/tests.scala
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
/*
Symbolism, version [unreleased]. Copyright 2025 Jon Pretty, Propensive OÜ.
Symbolism, version 0.24.0. Copyright 2025 Jon Pretty, Propensive OÜ.
The primary distribution site is: https://propensive.com/
Expand Down

0 comments on commit 23d29fa

Please sign in to comment.