Mercurial
Mercurial
>
repos
>
isabelle
/ graph
summary
|
shortlog
|
changelog
| graph |
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+1000
+3000
+10000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
The revision graph only works with JavaScript-enabled browsers.
tuned signature;
2018-12-29, by wenzelm
merged
2018-12-29, by wenzelm
clarified signature, notably cascade of dump_options, deps, resources, session;
2018-12-29, by wenzelm
unused;
2018-12-29, by wenzelm
clarified signature;
2018-12-29, by wenzelm
clarified errors, according to Isabelle/MMT;
2018-12-29, by wenzelm
tuned, according to Isabelle/MMT;
2018-12-29, by wenzelm
clarified options: ensure consolidated Node_Status and thus percentage = 100% for progress;
2018-12-29, by wenzelm
tuned;
2018-12-29, by wenzelm
merged
2018-12-29, by nipkow
more capitalization
2018-12-29, by nipkow
capitalize proper names in lemma names
2018-12-29, by nipkow
explicit dependencies for includes
2018-12-29, by haftmann
more correct handling of symbols for includes
2018-12-29, by haftmann
more conservative update of Haskell stack (amending 04e54f57a869): 13.0 still lacks notable packages like "Agda" or "darcs";
2018-12-28, by wenzelm
merged;
2018-12-28, by wenzelm
clarified sessions_deps, according to Isabelle/MMT usage;
2018-12-28, by wenzelm
tuned signature: for other dump-like tools;
2018-12-27, by wenzelm
unused;
2018-12-27, by wenzelm
tuned;
2018-12-27, by wenzelm
clarified defaults via system options;
2018-12-27, by wenzelm
added bib-file
2018-12-28, by nipkow
tuned headers etc, added bib-file
2018-12-28, by nipkow
tuned style and headers
2018-12-28, by nipkow
most of Topology_Euclidean_Space (now Elementary_Topology) requires fewer dependencies
2018-12-27, by immler
merged
2018-12-27, by nipkow
tuned headers
2018-12-27, by nipkow
moved lemmas up
2018-12-27, by immler
prove lemmas in context real_normed_vector
2018-12-27, by immler
moved dependency
2018-12-27, by immler
generalized to big sum
2018-12-27, by immler
merged
2018-12-27, by nipkow
tuned headers; ~ -> \<not>
2018-12-27, by nipkow
update LTS Haskell version
2018-12-27, by Lars Hupel
{* verbatim *} is explicit legacy feature;
2018-12-26, by wenzelm
isabelle update_cartouches -t;
2018-12-26, by wenzelm
tuned -- avoid conflict with cartouche argument;
2018-12-26, by wenzelm
unused -- document lacks {* ... *};
2018-12-26, by wenzelm
more rules
2018-12-23, by haftmann
tuned message;
2018-12-23, by wenzelm
tuned messages;
2018-12-22, by wenzelm
more Haskell operations: managed resources for threads;
2018-12-22, by wenzelm
more robust: suitable defaults for unmanaged threads;
2018-12-21, by wenzelm
more Haskell operations;
2018-12-21, by wenzelm
more Haskell operations;
2018-12-21, by wenzelm
proper cleanup;
2018-12-21, by wenzelm
more Haskell operations;
2018-12-21, by wenzelm
clarified;
2018-12-21, by wenzelm
tuned signature;
2018-12-21, by wenzelm
tuned;
2018-12-21, by wenzelm
more Haskell operations;
2018-12-21, by wenzelm
tuned comments;
2018-12-21, by wenzelm
support for File_Format.Session, e.g. server process accessible via prover options;
2018-12-20, by wenzelm
clarified signature;
2018-12-20, by wenzelm
proper trim_line according to ML/Scala versions;
2018-12-20, by wenzelm
proper attach mechanism for any kind of symbols, not just constants
2018-12-20, by haftmann
disregard historic keyword
2018-12-20, by haftmann
more robust open/close bracket, but with potential danger of blocking indefinitely in uninterruptible state;
2018-12-19, by wenzelm
tuned signature;
2018-12-19, by wenzelm
merged
2018-12-19, by wenzelm
tuned;
2018-12-19, by wenzelm
tuned proof text
2018-12-19, by haftmann
tuned proof
2018-12-19, by haftmann
more Isabelle/Haskell operations;
2018-12-18, by wenzelm
clarified signature;
2018-12-16, by wenzelm
tuned comments;
2018-12-16, by wenzelm
tuned -- more compact;
2018-12-16, by wenzelm
more Haskell operations;
2018-12-15, by wenzelm
tuned messages;
2018-12-14, by wenzelm
unused;
2018-12-14, by wenzelm
more ML antiquotations;
2018-12-14, by wenzelm
proper platform path for Windows;
2018-12-14, by wenzelm
tuned whitespace;
2018-12-14, by wenzelm
tuned signature;
2018-12-13, by wenzelm
tuned;
2018-12-13, by wenzelm
clarified UUID operations;
2018-12-13, by wenzelm
clarified protocol;
2018-12-13, by wenzelm
clarified signature;
2018-12-13, by wenzelm
more Haskell operations;
2018-12-13, by wenzelm
tuned signature;
2018-12-13, by wenzelm
clarified signature, e.g. for re-use by other servers;
2018-12-13, by wenzelm
more Haskell operations;
2018-12-13, by wenzelm
clarified modules and signature;
2018-12-13, by wenzelm
tagged more of HOL-Analysis
2018-12-13, by Manuel Eberl
merged;
2018-12-12, by wenzelm
more Haskell operations;
2018-12-12, by wenzelm
more uniform multi-language operations;
2018-12-12, by wenzelm
more Haskell operations;
2018-12-12, by wenzelm
more uniform multi-language operations;
2018-12-12, by wenzelm
more uniform multi-language operations;
2018-12-12, by wenzelm
more operations (as in ML);
2018-12-11, by wenzelm
more uniform multi-language operations;
2018-12-11, by wenzelm
more uniform multi-language operations;
2018-12-11, by wenzelm
Tagged some of HOL-Analysis
2018-12-12, by eberlm
more Haskell operations;
2018-12-10, by wenzelm
tuned headers;
2018-12-10, by wenzelm
more formal Haskell project setup, with dependencies on packages from "stackage";
2018-12-10, by wenzelm
tuned signature;
2018-12-10, by wenzelm
tuned proofs;
2018-12-10, by wenzelm
clarified modules, following bytes.scala;
2018-12-10, by wenzelm
clarified input_line: exclude terminator (its only use in Isabelle_Process.read_command is is unaffected, due to liberal Int.fromString);
2018-12-10, by wenzelm
tuned message;
2018-12-09, by wenzelm
updated to scala-2.12.8;
2018-12-09, by wenzelm
more mathematical glyphs from Isabelle2009-1/lib/fonts/IsabelleMono.sfd (still unused);
2018-12-09, by wenzelm
clarified names;
2018-12-09, by wenzelm
clarified example: avoid unpacking into /home/isabelle/components at TUM;
2018-12-09, by wenzelm
clarified settings and defaults;
2018-12-09, by wenzelm
merged
2018-12-09, by wenzelm
discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
2018-12-08, by wenzelm
clarified defaults for Windows/Cygwin hybrid;
2018-12-08, by wenzelm
proper path before tar -C context switch;
2018-12-08, by wenzelm
replaced "isabelle components_checksum" shell script by "isabelle build_components" in Scala, with more functionality;
2018-12-08, by wenzelm
clarified sort order (again, see also 81a75d9a9a4e);
2018-12-08, by wenzelm
clarified operations: uniform sorting of results;
2018-12-08, by wenzelm
clarified modules;
2018-12-08, by wenzelm
clarified gnutar options: more uniform owner;
2018-12-08, by wenzelm
clarified application bundling: discontinued redundant archives;
2018-12-08, by wenzelm
Tagged some theories in HOL-Analysis: Cauchy_Integral_Theorem, Riemann_Mapping and Winding_Numbers.
2018-12-08, by Wenda Li
clarified session dependencies: faster build_doc/build_release;
2018-12-07, by wenzelm
merged
2018-12-07, by paulson
updated to modern symbols
2018-12-07, by paulson
updated to stack-1.9.3;
2018-12-07, by wenzelm
more robust;
2018-12-07, by wenzelm
tuned;
2018-12-07, by wenzelm
obsolete;
2018-12-06, by wenzelm
clarified error;
2018-12-06, by wenzelm
clarified defaults: explicit "rev" takes precedence;
2018-12-06, by wenzelm
more explicit Components.Archive;
2018-12-06, by wenzelm
proper ISABELLE_DOCS_RELEASE_NOTES (amending 39044da8bb5a);
2018-12-06, by wenzelm
tuned message;
2018-12-06, by wenzelm
more explicit Platform.Family;
2018-12-06, by wenzelm
clarified doc sections: add-on components may focus their own application name;
2018-12-06, by wenzelm
more robust, notably for macos /var vs. /private/var;
2018-12-06, by wenzelm
more robust: "gtar" is default name in Homebrew;
2018-12-05, by wenzelm
tuned;
2018-12-05, by wenzelm
more direct File.executable operation: avoid external process (on Unix);
2018-12-05, by wenzelm
clarified absolute isabelle_home and (implicitly) isabelle_home_user;
2018-12-05, by wenzelm
tuned messages;
2018-12-05, by wenzelm
more direct File.link operation: avoid external process;
2018-12-05, by wenzelm
eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala;
2018-12-05, by wenzelm
tuned;
2018-12-04, by wenzelm
updated to jedit_build-20181203 (according to d70767e508d7);
2018-12-03, by wenzelm
Components.download similar to "isabelle components", but without unpacking;
2018-12-03, by wenzelm
clarified signature;
2018-12-03, by wenzelm
clarified signature;
2018-12-03, by wenzelm
more explicit support for Isabelle system components;
2018-12-03, by wenzelm
more operations;
2018-12-03, by wenzelm
static type for Library.using: avoid Java 11 warnings on "Illegal reflective access";
2018-12-03, by wenzelm
tuned;
2018-12-03, by wenzelm
manage components similar to makedist_bundle (still inactive);
2018-12-02, by wenzelm
distribution_classpath as in makedist_bundle;
2018-12-02, by wenzelm
tuned spelling;
2018-12-02, by wenzelm
clarified component settings;
2018-12-02, by wenzelm
unused;
2018-12-02, by wenzelm
obsolete (see 3ee6947bfb34);
2018-12-02, by wenzelm
clarified signature: allow to add_files/get_files by other tools;
2018-12-02, by wenzelm
more Isabelle fonts: CheckBoxMenuItem.font notably for Windows L&F;
2018-12-01, by wenzelm
clarified modules;
2018-12-01, by wenzelm
proper menu accelerator font for Java 11 (no update of jedit-build component yet);
2018-12-01, by wenzelm
more general command 'generate_file' for registered file types, notably Haskell;
2018-11-30, by wenzelm
tuned imports;
2018-11-30, by wenzelm
more robust: avoid broken tar.gz;
2018-11-30, by wenzelm
more Isabelle fonts;
2018-11-30, by wenzelm
use Isabelle fonts for all GUI look-and-feels;
2018-11-30, by wenzelm
tuned;
2018-11-30, by wenzelm
use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f);
2018-11-30, by wenzelm
clarified "hidden" terminology;
2018-11-29, by wenzelm
generate full component;
2018-11-29, by wenzelm
clarified target_dir;
2018-11-29, by wenzelm
generate Vacuous font from domain of Isabelle fonts;
2018-11-29, by wenzelm
more robust: enforce Unicode range;
2018-11-29, by wenzelm
prefer "Isabelle DejaVu Sans", even for headless batch-build (session_graph.pdf);
2018-11-28, by wenzelm
clarified signature: fonts are not dependent on GUI;
2018-11-28, by wenzelm
tuned signature;
2018-11-28, by wenzelm
clarified signature;
2018-11-28, by wenzelm
avoid loading of font file, to eliminate "Illegal reflective access by com.lowagie.text.pdf.MappedRandomAccessFile$1 (iText-2.1.5.jar) to method java.nio.DirectByteBuffer.cleaner()" -- due to com.lowagie.text.pdf.TrueTypeFont.process() / RandomAccessFileOrArray;
2018-11-28, by wenzelm
proper font file name for HTTP (amending dc9a39c3f75d);
2018-11-28, by wenzelm
clarified order;
2018-11-28, by wenzelm
tuned whitespace;
2018-11-28, by wenzelm
clarified symbol groups;
2018-11-28, by wenzelm
more explicit Isabelle_Fonts.Entry;
2018-11-28, by wenzelm
prefer Isabelle_Fonts.sans for GUI;
2018-11-28, by wenzelm
prefer Isabelle_Fonts.sans (not mono) as derived GUI font;
2018-11-28, by wenzelm
clarified signature;
2018-11-28, by wenzelm
proper file names;
2018-11-28, by wenzelm
clarified modules;
2018-11-28, by wenzelm
clarified Admin resources;
2018-11-28, by wenzelm
adjusted to fc221fa79741;
2018-11-27, by wenzelm
obsolete (see fc221fa79741);
2018-11-27, by wenzelm
adjusted to fc221fa79741;
2018-11-27, by wenzelm
adjusted to Isabelle DejaVu fonts (see also 8bd8750a2f9b, b3c665940d62);
2018-11-27, by wenzelm
more accurate positions for "name" (quoted string) and "embedded" (cartouche): refer to content without delimiters, which is e.g. relevant for systematic selection/renaming of scope groups;
2018-11-27, by wenzelm
more robust (amending 76979adf0b96);
2018-11-27, by wenzelm
more robust: avoid broken YXML due to Markup.empty;
2018-11-27, by wenzelm
expose latex mode operations, to facilitate adhoc changes to it;
2018-11-25, by wenzelm
tuned signature (see also src/Tools/Haskell/Markup.hs);
2018-11-25, by wenzelm
tuned spelling;
2018-11-25, by wenzelm
use "Isabelle DejaVu" fonts uniformly: Text Area, GUI elements, HTML output etc.;
2018-11-24, by wenzelm
more shell functions;
2018-11-24, by wenzelm
proper superscript "-1", based on "Deja Vu Sans Condensed" U+207b/U+00b9, with bold version via "Change Weight / Embolden by 80 em units";
2018-11-24, by wenzelm
spontaneous update of .sfd files due to fontforge;
2018-11-24, by wenzelm
clarified module name (again);
2018-11-24, by wenzelm
clarified file name;
2018-11-23, by wenzelm
added Isabelle tool wrapper;
2018-11-23, by wenzelm
support for build_fonts;
2018-11-23, by wenzelm
more operations;
2018-11-23, by wenzelm
clarified font_domain: strict excludes e.g. space character;
2018-11-23, by wenzelm
proper documentation;
2018-11-23, by wenzelm
clarified;
2018-11-23, by wenzelm
tuned comments -- based on history;
2018-11-23, by wenzelm
support for construction of Isabelle fonts;
2018-11-22, by wenzelm
tuned error;
2018-11-22, by wenzelm
support for fontforge and its scripting language;
2018-11-22, by wenzelm
tuned;
2018-11-22, by wenzelm
tuned;
2018-11-22, by wenzelm
removed legacy input syntax
2018-11-22, by haftmann
avoid compound operator
2018-11-22, by haftmann
updated version;
2018-11-21, by wenzelm
more robust (see https://code.visualstudio.com/docs/extensionAPI/document-selectors);
2018-11-21, by wenzelm
tuned;
2018-11-21, by wenzelm
more comment markup;
2018-11-21, by wenzelm
tuned -- refining auto-update 15e9ed5b28fb;
2018-11-20, by wenzelm
clarified presentation;
2018-11-20, by wenzelm
merged
2018-11-19, by nipkow
Retired lemma card_Union_image; use the simpler card_UN_disjoint instead.
2018-11-19, by nipkow
more Haskell operations;
2018-11-19, by wenzelm
unused -- left-over from Proof General;
2018-11-19, by wenzelm
removed legacy input syntax
2018-11-18, by haftmann
added and tuned lemmas
2018-11-18, by nipkow
more Java 11 illegal-access warnings;
2018-11-17, by wenzelm
prefer more powerful machine;
2018-11-17, by wenzelm
renovated macOS tests;
2018-11-16, by wenzelm
proper citation (amending d8205bb279a7);
2018-11-15, by wenzelm
proper citation (amending 98ba42f19995);
2018-11-15, by wenzelm
merged
2018-11-14, by wenzelm
prefer statically-typed close operation, avoid Java 11 warning: "Illegal reflective access by scala.reflect.package$ to method sun.net.httpserver.LeftOverInputStream.close()";
2018-11-14, by wenzelm
more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;
2018-11-14, by wenzelm
more uniform wrt. File.find_files;
2018-11-14, by wenzelm
proper use of stat() vs. lstat() (for symlinks);
2018-11-14, by wenzelm
more uniform find_files, notably for symlinks;
2018-11-14, by wenzelm
less
more
|
(0)
-30000
-10000
-3000
-1000
-240
+240
+1000
+3000
+10000
tip