Skip to content
This repository has been archived by the owner on Aug 29, 2023. It is now read-only.

Latest commit

 

History

History
95 lines (60 loc) · 2.15 KB

CHANGELOG.md

File metadata and controls

95 lines (60 loc) · 2.15 KB

Change log

1.3.2 (2022-12-15)

  • Add --exclude-ported flag for import-graph
  • make port-progress report longest path to the target

1.3.1 (2022-11-29)

  • Improvements to the port progress tool

1.3.0 (2022-11-13)

  • Add port-status command

1.2.0 (2022-10-23)

  • import-graph: allow to write raw dot file to ".rawdot" without layout info
  • Add --exclude-tactics flag to exclude tactics in import-graph
  • Add --port-status flag to the import-graph command to color node by porting status
  • Add --port-status-url option to specify a url for the YaML file containing porting status information.

1.1.1 (2022-02-24)

  • Fix mathlib update bug for project depending on mathlib

1.1.0 (2021-09-18)

  • Add reduce-imports command
  • Add pull command
  • get-mathlib-cache no longer understands --rev; if you want to use a different mathlib version, edit your leanproject.toml. If you are trying to get the cache when working on mathlib itself, use get-cache --rev.
  • Add --fallback to get-cache for traversing the git history to find an approximate cache.
  • get-cache no longer modifies .lean files in the working directory.
  • mk-cache --force no longer permits the working tree to be dirty.
  • mk-all now correctly handles filenames with special characters.

1.0.0 (2020-11-10)

  • Only look for .xz archives
  • Increase tolerance to weird git setups
  • Add pr command
  • Add rebase command
  • Add option --rev to get-cache and get-mathlib-cache
  • Drop python 3.5 support

0.0.10 (2020-07-28)

  • SSH handling tweaks

0.0.9 (2020-07-12)

  • Add mk-all command
  • Add decls command
  • Many small fixes

0.0.8 (2020-05-25)

  • Fix a bug and workaround some Windows bug

0.0.7 (2020-05-23)

  • Try to download .xz-compressed olean archives

0.0.6 (2020-05-09)

  • Add leanproject get -b to create a new branch

0.0.5 (2020-04-07)

  • Add import-graph command
  • Add delete-zombies command

0.0.4 (2020-03-24)

  • Add get-mathlib-cache command
  • Add --debug flag

0.0.3 (2020-03-11)

Switch from update-mathlib to leanproject

0.0.2 (2019-12-28)

Fix packaging issue

0.0.1 (2019-12-28)

Version PyPi release of old mathlib tools