| 2 months ago |
wenzelm |
clarified solr_data directory, provided via settings;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
clarified names;
|
file |
diff |
annotate
|
| 2 months ago |
wenzelm |
more NEWS + CONTRIBUTORS;
|
file |
diff |
annotate
|
| 3 months ago |
paulson |
fixed a typo
|
file |
diff |
annotate
|
| 3 months ago |
haftmann |
corrected
|
file |
diff |
annotate
|
| 3 months ago |
Lukas Bartl |
Rename "suggest_of" to "instantiate"
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
discontinue old / inaccurate show_brackets (see also a4f09493d929 and ca9f5dbab880);
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
proper NEWS section;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
updated Ubuntu versions;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
update NEWS / documentation / descriptions for Phorge (formerly Phabricator);
|
file |
diff |
annotate
|
| 3 months ago |
haftmann |
optionally use shift operations on target numerals for efficient execution
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
rebuild E 3.1 on Windows/Cygwin, with patch for proper interrupts;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
misc tuning and updates for release;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 3 months ago |
haftmann |
refined syntax for code_reserved
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
revert changeset 2f98e3c4592c: avoid conflict with low-level \<^latex> markup;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
more LaTeX markup;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
clarified LaTeX presentation: more specific keywords;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
more syntax bundles, e.g. to explore terms without notation;
|
file |
diff |
annotate
|
| 3 months ago |
wenzelm |
syntax translations now work in a local theory context;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
proper bundle binomial_syntax;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
more LaTeX markup for printed entities;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
prefer Term.variant_bounds: bounds vs. frees, no attempt at consts;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
clarified 'unbundle' polarity, according to algebraic group laws;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
merged
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
Output_Dockable: show search results as tree view;
|
file |
diff |
annotate
|
| 4 months ago |
nipkow |
renamed Discrete -> Discrete_Functions to avoid name clashes;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
less ambitious selection;
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
clarified mouse selection, avoid conflict of double-click with single-click (follow hyperlink);
|
file |
diff |
annotate
|
| 4 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
misc tuning and clarification: Doc.Entry supports both plain files and pdf documents;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
support incremental isabelle.select-structure --- like select-block, but based on selection instead of caret;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
support Isabelle/jEdit action isabelle.select_structure;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
clarified section structure;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| 5 months ago |
blanchet |
variable instantiation in Sledgehammer and Metis
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
prefer rewrite_term_yoyo for improved performance and occasionally better results (conforming to Ast.normalize);
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
print type constraints for consts with mixfix syntax;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
show_consts_markup is enabled by default;
|
file |
diff |
annotate
|
| 5 months ago |
wenzelm |
allow type constraints for const_syntax;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
more syntax bundles;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
more syntax bundles;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
clarified bundles for list syntax;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
more inner-syntax markup;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
support for pretty blocks that are "open" and thus have no impact on formatting, only on markup;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
ML antiquotation for formally-checked bundle names;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
first-class support for "unbundle no foobar_syntax" -- avoid redundant "bundle no_foobar_syntax" definitions;
|
file |
diff |
annotate
|
| 6 months ago |
wenzelm |
misc tuning;
|
file |
diff |
annotate
|