MINLOG(1)

💖 MINLOG(1) — the General Commands Manual glow-up 💖

okay bestie, so this is the manual page for minlog, living in section 1 of the General Commands Manual. yes, THE minlog. let's get into it 🦋

✨ NAME ✨

minlog — starts Emacs and runs Minlog in it. that's the whole vibe. it's giving "launch vehicle for a theorem prover." 🚀

✨ SYNOPSIS ✨

minlog files

✨ DESCRIPTION ✨

so here's the tea ☕ this manual page documents the minlog program. and ngl, the reason this page even exists is kinda iconic: it was written for the Debian GNU/Linux distribution because the original program does not have a manual page. not one. zero. nada. so Debian said "fine, we'll do it ourselves" 💅 and here we are.

the minlog command does a few things, in order, no cap:

1. it starts Emacs — by default. if you wanna switch to your Emacs version of choice, set $EMACS and it'll use that instead 🫶
2. it loads the minlog-mode 🎀
3. it opens the standard Minlog buffers ✨

so basically one command and you're fully set up in the Minlog zone. main character energy fr fr.

✨ OPTIONS ✨

• files — one or more scheme files for the Minlog theorem prover. usually these files end with .scm 🌸 (usually!! not always!! don't come for me, that's just what the page says 🙈)

✨ AUTHOR ✨

this manual page was written by Stefan Schimanski <schimmi@debian.org>, for the Debian GNU/Linux system (but may be used by others 💖). shoutout Stefan, doing the lord's work writing docs for a program that didn't have any 👑

and that's the whole page bestie!! nothing more, nothing less, every detail intact, no facts invented, periodt. 💅

MINLOG(1) · General Commands Manual · footer says MINLOG(1) and honestly? no version number, no date, just the title flexing at you one more time before you go. iconic behavior tbh 👑 ✨ 🦋