Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -50 -30 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
etc/options
2023-01-31 wenzelm automatically build document when selected theories are finished; file | diff | annotate
2023-01-15 wenzelm clarified treatment of cite macro name; file | diff | annotate
2023-01-15 wenzelm clarified names; file | diff | annotate
2023-01-14 wenzelm basic support for update_cite_commands; file | diff | annotate
2022-12-06 wenzelm more uniform session selectors, with persistent options; file | diff | annotate
2022-11-06 wenzelm afford more reactive consolidation; file | diff | annotate
2022-11-06 wenzelm afford unconditional presentation, notably export_theory and present_thy, notably for HTML + PDF presentation within PIDE; file | diff | annotate
2022-11-04 wenzelm clarified options; file | diff | annotate
2022-10-12 wenzelm tuned comment; file | diff | annotate
2022-10-12 wenzelm support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64; file | diff | annotate
2022-09-27 wenzelm clarified options; file | diff | annotate
2022-09-22 wenzelm tuned comments; file | diff | annotate
2022-09-17 wenzelm show SSH options in PIDE GUI; file | diff | annotate
2022-09-16 wenzelm clarified options; file | diff | annotate
2022-09-16 wenzelm clarified options; file | diff | annotate
2022-09-15 wenzelm discontinued unclear timeout (stemming from jEdit JSch setup, see 14782d58a503), to make it work with native Windows ssh.exe; file | diff | annotate
2022-09-14 wenzelm support port forwarding without multiplexing (for the sake of Windows); file | diff | annotate
2022-09-12 wenzelm obsolete; file | diff | annotate
2022-09-09 wenzelm discontinued somewhat pointless option: Proof_Display.pretty_goal_inst should always work smoothly (and not crash unexpectedly); file | diff | annotate
2022-09-08 wenzelm enable show_goal_inst by default: match failure is merely a warning (see 730638d4e37a); file | diff | annotate
2022-09-06 wenzelm option "show_states" for more verbosity of batch-builds; file | diff | annotate
2022-09-05 wenzelm clarified options, following e.g. "show_consts"; file | diff | annotate
2022-09-02 wenzelm proper description; file | diff | annotate
2021-11-24 wenzelm option document_comment_latex supports e.g. Dagstuhl LIPIcs; file | diff | annotate
2021-11-21 wenzelm clarified system option standard values: avoid oddities like "isabelle build -o document_output" producing directories named "true"; file | diff | annotate
2021-11-20 wenzelm Latex.Output.latex_heading depends on option document_heading_prefix, e.g. relevant for Dagstuhl LIPIcs which prefers unaliased \section etc.; file | diff | annotate
2021-11-08 wenzelm discontinued redundant document_preprocessor: in the worst case, a plain-old document/build script will do; file | diff | annotate
2021-11-08 wenzelm clarified messages, depending on option "document_echo"; file | diff | annotate
2021-08-12 wenzelm provide bash_process server for Isabelle/ML and other external programs; file | diff | annotate
2021-08-07 wenzelm follow phabricator 2021 Week 26; file | diff | annotate
less more (0) -100 -50 -30 tip
isabelle