Pantograph

feat(frontend): Set witness goal tag

#285 by aniva was merged 2025-08-18 10:44:20 -07:00

dev

v0.3.7

feat(frontend): Remove sorry capturing capability from frontend.process

#277 by aniva was merged 2025-08-14 14:50:10 -07:00

dev

v0.3.7

feat(frontend): Move functionalities of sorry capture to frontend.distil

1

#271 by aniva was merged 2025-08-11 14:58:54 -07:00

dev

v0.3.6

feat(repl,env): Harden frontend.track

#269 by aniva was merged 2025-08-06 14:12:47 -07:00

dev

v0.3.6

feat(frontend): frontend.track Check if one file tracks another

#268 by aniva was merged 2025-08-06 09:41:48 -07:00

dev

v0.3.6

fix(frontend): Distil of intercalating elements

#267 by aniva was merged 2025-08-04 15:34:39 -07:00

dev

v0.3.6

fix(frontend): Erase captured aux decls without full name

#265 by aniva was merged 2025-08-04 12:47:42 -07:00

dev

v0.3.6

feat(frontend): Distil search target

#264 by aniva was merged 2025-08-04 10:38:52 -07:00

dev

v0.3.6

fix(frontend): Parenthesize command

category

bug

part/Frontend

#260 by aniva was merged 2025-07-31 16:01:14 -07:00

dev

v0.3.6

feat(frontend): Core options in frontend.refactor

category

feature

part/Frontend

#257 by aniva was merged 2025-07-30 12:37:01 -07:00

dev

v0.3.5

fix(frontend): Process intercalating elements in refactoring

category

bug

part/Frontend

1

#252 by aniva was merged 2025-07-28 16:05:08 -07:00

dev

v0.3.5

fix(frontend): Matchers and auxiliary lemmata in refactoring

category

bug

part/Frontend

#251 by aniva was merged 2025-07-25 15:53:37 -07:00

dev

v0.3.5

feat(frontend): Harden refactoring

category

feature

part/Frontend

#246 by aniva was merged 2025-07-22 12:52:06 -07:00

dev

v0.3.5

fix(frontend): Capture local instances in MetaTranslate

#242 by aniva was merged 2025-07-13 23:03:14 -07:00

dev

v0.3.5

fix(frontend): Tomograph compilation

category

organization

part/Frontend

#235 by aniva was merged 2025-07-11 19:44:25 -07:00

dev

v0.3.4

feat(frontend): Refactor function

1

#234 by aniva was merged 2025-07-22 09:19:41 -07:00

dev

v0.3.5

feat: Display Message metadata

#232 by aniva was merged 2025-07-10 11:45:45 -07:00

dev

v0.3.4

feat(frontend): Command-level frontend.process

#229 by aniva was merged 2025-07-11 16:05:57 -07:00

dev

v0.3.4

test(repl): MVar name mismatch fix

#227 by aniva was merged 2025-07-02 15:03:10 -07:00

dev

v0.3.4

feat(frontend): Tomogram

category

feature

part/Frontend

#220 by aniva was merged 2025-07-02 15:18:19 -07:00

dev

v0.4.0