Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) -100 -30 -10 -8 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/command.scala
Tue, 05 Aug 2025 21:44:54 +0200 wenzelm more detailed export "PIDE/files": store offset of the load command, within the pro-forma loaded_theory_command --- this allows to restrict output messages for blobs; file | diff | annotate
Mon, 30 Jun 2025 12:42:21 +0200 wenzelm inline errors as "bad" markup; file | diff | annotate
Mon, 23 Jun 2025 13:55:09 +0200 wenzelm clarified signature; file | diff | annotate
Tue, 12 Nov 2024 11:32:07 +0100 wenzelm clarified persistent values: Command.Results does not suitable for caching, because it contains all other messages; file | diff | annotate
Tue, 12 Nov 2024 11:16:36 +0100 wenzelm omit redundant compact_source (see e1abca2527da): Command_Span.unparsed consists of one token with the original source; file | diff | annotate
Tue, 12 Nov 2024 11:04:54 +0100 wenzelm tuned; file | diff | annotate
Sun, 10 Nov 2024 15:11:04 +0100 wenzelm obsolete; file | diff | annotate
Sun, 10 Nov 2024 13:40:28 +0100 wenzelm minor performance tuning: avoid concatenation of existing string material; file | diff | annotate
less more (0) -100 -30 -10 -8 tip
isabelle