isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 tip

tuned spelling;
9 days ago, by wenzelm
clarified NEWS: not user-relevant;
9 days ago, by wenzelm
tuned documentation;
9 days ago, by wenzelm
clarified default of flatlaf.useNativeLibrary=false, for cross-platform GUI uniformity;
9 days ago, by wenzelm
just one flatlaf version: native libraries are optional;
9 days ago, by wenzelm
tuned;
9 days ago, by wenzelm
merged
10 days ago, by Fabian Huch
clarified name;
10 days ago, by Fabian Huch
documentation about Build_Manager;
10 days ago, by Fabian Huch
tuned;
10 days ago, by Fabian Huch
use ssh host for default address;
10 days ago, by Fabian Huch
tuned;
10 days ago, by Fabian Huch
clarified option name;
10 days ago, by Fabian Huch
clarified options: extra ssh connection to cluster of build_manager;
10 days ago, by Fabian Huch
tuned output;
10 days ago, by Fabian Huch
tuned: more standard;
10 days ago, by Fabian Huch
merged;
10 days ago, by wenzelm
more NEWS;
10 days ago, by wenzelm
updated to flatlaf-3.5.4, with fallback on 2.6 for arm64-linux;
10 days ago, by wenzelm
update naproche-20250201: rebuilt executables (just one copy), provide most PDFs;
10 days ago, by wenzelm
tuned whitespace;
10 days ago, by Fabian Huch
documentation about Find_Facts;
10 days ago, by Fabian Huch
more standard: let OS pick random port by default;
10 days ago, by Fabian Huch
clarified platforms;
10 days ago, by Fabian Huch
tuned NEWS;
11 days ago, by wenzelm
merged
11 days ago, by Lukas Stevens
more canonical formatting
11 days ago, by Lukas Stevens
add hook to insert premises in the order solver
11 days ago, by Lukas Stevens
less NEWS (see also afae60d6ff15);
11 days ago, by wenzelm
switch from CVC5 to cvc5, including updates of internal tool references;
4 weeks ago, by wenzelm
more robust wrt. Par_List.map in Browser_Info.build(), see also 2fff9ce6b460 and 787a203a20b6;
12 days ago, by wenzelm
more thorough cleanup;
12 days ago, by wenzelm
more options for build_release: support bundled browser_info and Find_Facts database;
12 days ago, by wenzelm
more standard directory structure;
12 days ago, by wenzelm
tuned output;
12 days ago, by wenzelm
suppress MacOS.jar from jEdit 5.7.0, following 65fd0f032a75;
12 days ago, by wenzelm
tuned GUI: attempt to improve divider mobility;
13 days ago, by wenzelm
rebuild jedit component;
13 days ago, by wenzelm
make double sure that buffer.lineSeparator is well-defined: prevent a situation where $JEDIT_SETTINGS/properties would contain "buffer.lineSeparator=" and new-file would lead to a buffer with empty lineSeparator, and save would produce just one line;
13 days ago, by wenzelm
more accurate syntax: follow documentation in "isar-ref" (and command 'syntax_consts');
13 days ago, by wenzelm
more robust: make double sure that buffer.getText() is valid (see also 2e7073976c25);
13 days ago, by wenzelm
clarifed terminology
2 weeks ago, by haftmann
extracted the ^^ subtheory for modularity reasons
2 weeks ago, by nipkow
tuned
2 weeks ago, by nipkow
merged
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
minor performance tuning;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
tuned names;
2 weeks ago, by wenzelm
minor performance tuning: avoid somewhat indirect filter / add_consts;
2 weeks ago, by wenzelm
clarified signature: more standard map_data;
2 weeks ago, by wenzelm
misc tuning;
2 weeks ago, by wenzelm
clarified signature with minor performance tuning: avoid Context.proof_of with its Proof_Context.init_global;
2 weeks ago, by wenzelm
tuned names;
2 weeks ago, by wenzelm
more explicit tests for non-PolyML SML platforms
2 weeks ago, by haftmann
typo
2 weeks ago, by haftmann
merged
2 weeks ago, by wenzelm
more NEWS;
2 weeks ago, by wenzelm
clarified syntax;
2 weeks ago, by wenzelm
support for "no" polarity of 'adhoc_overloading' vs. 'no_adhoc_overloading';
2 weeks ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 tip

isabelle