| .. |
|
Context.lean
|
fix: lake serve fallback regression
|
2022-06-14 15:54:07 -04:00 |
|
Dependency.lean
|
feat: rev opt in git dep + fix path opt in require
|
2022-06-10 19:28:52 -04:00 |
|
ExternLib.lean
|
refactor: move lib/exe targets into the index
|
2022-06-27 02:07:45 -04:00 |
|
ExternLibConfig.lean
|
refactor: add LeanLib/LeanExe/ExternLib + reorg & cleanup
|
2022-06-26 18:26:12 -04:00 |
|
Glob.lean
|
refactor: add LeanLib/LeanExe/ExternLib + reorg & cleanup
|
2022-06-26 18:26:12 -04:00 |
|
InstallPath.lean
|
chore: auto pure was removed
|
2022-02-03 21:32:27 -05:00 |
|
LeanConfig.lean
|
feat: add build types (e.g., debug, release)
|
2022-07-01 14:45:19 -04:00 |
|
LeanExe.lean
|
chore: fix wording
|
2022-07-01 14:45:44 -04:00 |
|
LeanExeConfig.lean
|
feat: library-level module configuration
|
2022-06-26 20:35:23 -04:00 |
|
LeanLib.lean
|
feat: add build types (e.g., debug, release)
|
2022-07-01 14:45:19 -04:00 |
|
LeanLibConfig.lean
|
feat: user-specified native module facets for libraries
|
2022-06-29 03:36:05 -04:00 |
|
Load.lean
|
feat: preliminary custom package facets
|
2022-07-01 00:11:53 -04:00 |
|
Manifest.lean
|
chore: silence some "unused variable" warnings
|
2022-06-10 15:44:08 -04:00 |
|
Module.lean
|
feat: add build types (e.g., debug, release)
|
2022-07-01 14:45:19 -04:00 |
|
ModuleFacetConfig.lean
|
fix: properly trace module imports
|
2022-07-01 02:45:24 -04:00 |
|
Monad.lean
|
feat: preliminary custom module facets
|
2022-06-28 23:39:47 -04:00 |
|
Opaque.lean
|
feat: preliminary custom package facets
|
2022-07-01 00:11:53 -04:00 |
|
Package.lean
|
feat: add build types (e.g., debug, release)
|
2022-07-01 14:45:19 -04:00 |
|
PackageFacetConfig.lean
|
feat: preliminary custom package facets
|
2022-07-01 00:11:53 -04:00 |
|
Resolve.lean
|
fix: properly update git packages specified by branch
|
2022-06-29 22:31:25 -04:00 |
|
Script.lean
|
feat: expand script CLI into its own script command
|
2021-12-24 03:26:34 -05:00 |
|
SearchPath.lean
|
fix: use Lake install's olean files over LEAN_PATH
|
2022-06-29 12:56:49 -04:00 |
|
TargetConfig.lean
|
feat: inductive BuildKey + proper custom targets
|
2022-07-01 04:52:50 -04:00 |
|
Workspace.lean
|
feat: preliminary custom package facets
|
2022-07-01 00:11:53 -04:00 |
|
WorkspaceConfig.lean
|
feat: resolve deps immediately and store them in workspace
|
2021-12-04 16:24:19 -05:00 |
