23 months ago ago Manuel Eberl Changes to NEWS regarding 2a6ef5ba4822
23 months ago ago Manuel Eberl Changes to complete distributive lattices due to Viorel Preoteasa
23 months ago ago haftmann eliminiated superfluous class semiring_bits
23 months ago ago wenzelm tuned;
23 months ago ago wenzelm tuned;
23 months ago ago wenzelm update XML cache for slightly modified messages;
23 months ago ago wenzelm more compact markup tree: output messages are already stored in command results (e.g. relevant for XML data representation);
23 months ago ago wenzelm more options;
23 months ago ago wenzelm clarified default server name;
23 months ago ago wenzelm more uniform output: this may be parsed by another program;
23 months ago ago wenzelm clarified argument formats: explicit Unit, allow XML.Elem as well;
23 months ago ago wenzelm tuned comments;
23 months ago ago wenzelm convenience to represent XML.Body as single XML.Elem;
23 months ago ago wenzelm clarified AFP partitioning;
24 months ago ago haftmann abstract algebraic bit operations
24 months ago ago wenzelm more balanced AFP partitioning;
24 months ago ago wenzelm workaround for occasional deadlock seen in HOL-Proofs with threads=2;
24 months ago ago wenzelm adapted to 3869b2400e22;
24 months ago ago wenzelm tuned output;
24 months ago ago wenzelm more options: client without implicit server startup;
24 months ago ago wenzelm console interaction with line-editor;
24 months ago ago wenzelm more flexible message formats;
24 months ago ago wenzelm clarified interrupt handling;
24 months ago ago wenzelm clarified signature;
24 months ago ago wenzelm option for console interaction;
24 months ago ago wenzelm more uniform Bytes.read_line/read_block operations;
24 months ago ago wenzelm auto update;
24 months ago ago wenzelm more comments;
24 months ago ago wenzelm more general TTY loop;
24 months ago ago wenzelm added Reply.NOTE for asynchronous notifications;
24 months ago ago wenzelm more operations;
24 months ago ago wenzelm more thorough init: purge inactive entries;
24 months ago ago wenzelm more generous timeout;
24 months ago ago wenzelm Entry.connection: proview password here;
24 months ago ago wenzelm clarified initial protocol;
24 months ago ago wenzelm ignore empty lines;
24 months ago ago wenzelm tuned;
24 months ago ago wenzelm more robust read_line after shutdown;
24 months ago ago wenzelm more implicit wire protocol;
24 months ago ago wenzelm tuned signature;
24 months ago ago wenzelm clarified server start, notably for invocation within regular Isabelle/Scala process;
24 months ago ago wenzelm tuned signature;
24 months ago ago wenzelm tuned signature;
24 months ago ago wenzelm clarified toString operations;
24 months ago ago wenzelm clarified socket connection;
24 months ago ago wenzelm server commands may access Server;
24 months ago ago wenzelm tuned -- avoid regex matching on potentially large string;
24 months ago ago wenzelm more robust build: prevent problems seen with Poly/ML eb94e2820013 on Mac OS X;
24 months ago ago wenzelm clarified notion of unknown files: ignore files outside of a Mercurial repository;
24 months ago ago wenzelm more balanced AFP partitioning;
24 months ago ago wenzelm more abbrevs -- this makes "(=" ambiguous and thus simplifies input of "(=)" (within the context of Main HOL);
24 months ago ago wenzelm tuned -- more uniform;
24 months ago ago wenzelm eliminated somewhat pointless parallelism (from 857da80611ab): usually hundreds of tasks with < 1ms each, also note that the enclosing join_theory happens within theory graph parallelism;
24 months ago ago ballarin Drop rewrite rule arguments of sublocale and interpretation implementations.
24 months ago ago wenzelm more balanced AFP partitioning;
24 months ago ago wenzelm clarified signature;
24 months ago ago wenzelm build_history_base as remote build on lxbroy10: thus self_update has already happened once, and thus avoids conflicts with parallel builds on shared home directory;
24 months ago ago wenzelm more robust: normalize potentially symbolic rev;
24 months ago ago wenzelm proxy setup for lrzcloud1;
24 months ago ago wenzelm tuned signature;