Skip to content

lean2md v0.2.1

Latest
Latest

Choose a tag to compare

View all tags
@fosterfarrell9 fosterfarrell9 released this 29 May 08:41
v0.2.1
143ed0f

lean2md v0.2.1 - Release Notes

Command-Line Interface Improvements

This release adds more flexible file processing options to the lean2md CLI:

  • Single file processing: Process individual files with automatic output naming
    lean2md file.lean → Outputs file.md

  • Specific file paths: Convert single files with custom target paths
    lean2md src/module.lean docs/output.md

Documentation

  • Updated README with enhanced usage examples
  • Added more comprehensive examples for all supported command patterns

Testing

  • Added integration tests for all CLI operations
  • Ensured consistent behavior across single-file and directory operations

This release makes lean2md more convenient for quick conversions of individual files and standalone modules in addition to the previously supported directory processing.

Assets 2
Loading