Skip to content

Commit

Permalink
Merge pull request #17 from Marmare314/refactor
Browse files Browse the repository at this point in the history
Refactor lemmify around link-to parameter
  • Loading branch information
Marmare314 authored Sep 30, 2023
2 parents c2546c2 + 5edf2e1 commit d114c2b
Show file tree
Hide file tree
Showing 47 changed files with 2,001 additions and 714 deletions.
18 changes: 18 additions & 0 deletions .github/workflows/run_tests.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
name: Continuous integration
on: [push, pull_request]

jobs:
tests:
name: Tests
runs-on: ubuntu-latest
steps:
- uses: yusancky/setup-typst@v2
id: setup-typst
with:
version: 'latest'
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
with:
python-version: '3.10'
- run: python tools/check_tests.py
- run: python tools/check_readme.py
2 changes: 2 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
tools/__pycache__/
tools/tmp/
25 changes: 25 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
. Version 0.2.0
- Add type checking to arguments
- Add in-source documentation using tidy
- Add more examples
- Add link-to parameter and refactor code
- Add unit tests and CI
- Add Russian translations ([@WeetHet](https://github.com/WeetHet))

- Version 0.1.4
- Fix error on unnamed theorems

- Version 0.1.3
- Allow "1.1." numbering style by default
- Ignore unnumbered subheadings
- Add max-heading-level parameter to thm-numbering-heading
- Adapt lemmify to typst version 0.8.0

- Version 0.1.2
- Better error message on unnumbered headings
- Add Italian translations ([@porcaror](https://github.com/porcaror))

- Version 0.1.1
- Add Dutch translations ([@BroodjeKroepoek](https://github.com/BroodjeKroepoek))
- Add French translations ([@MDLC01](https://github.com/MDLC01))
- Fix size of default styles and make them breakable
Loading

0 comments on commit d114c2b

Please sign in to comment.