6 months ago immler 2018-12-27 generalized to big sum
6 months ago nipkow 2018-12-27 merged
6 months ago nipkow 2018-12-27 tuned headers; ~ -> \<not>
6 months ago Lars Hupel 2018-12-27 update LTS Haskell version
6 months ago wenzelm 2018-12-26 {* verbatim *} is explicit legacy feature;
6 months ago wenzelm 2018-12-26 isabelle update_cartouches -t;
6 months ago wenzelm 2018-12-26 tuned -- avoid conflict with cartouche argument;
6 months ago wenzelm 2018-12-26 unused -- document lacks {* ... *};
6 months ago haftmann 2018-12-23 more rules
6 months ago wenzelm 2018-12-23 tuned message;
6 months ago wenzelm 2018-12-22 tuned messages;
6 months ago wenzelm 2018-12-22 more Haskell operations: managed resources for threads;
6 months ago wenzelm 2018-12-21 more robust: suitable defaults for unmanaged threads;
6 months ago wenzelm 2018-12-21 more Haskell operations;
6 months ago wenzelm 2018-12-21 more Haskell operations;
6 months ago wenzelm 2018-12-21 proper cleanup;
6 months ago wenzelm 2018-12-21 more Haskell operations;
6 months ago wenzelm 2018-12-21 clarified;
6 months ago wenzelm 2018-12-21 tuned signature;
6 months ago wenzelm 2018-12-21 tuned;
6 months ago wenzelm 2018-12-21 more Haskell operations;
6 months ago wenzelm 2018-12-21 tuned comments;
6 months ago wenzelm 2018-12-20 support for File_Format.Session, e.g. server process accessible via prover options;
6 months ago wenzelm 2018-12-20 clarified signature;
6 months ago wenzelm 2018-12-20 proper trim_line according to ML/Scala versions;
6 months ago haftmann 2018-12-20 proper attach mechanism for any kind of symbols, not just constants
6 months ago haftmann 2018-12-20 disregard historic keyword
6 months ago wenzelm 2018-12-19 more robust open/close bracket, but with potential danger of blocking indefinitely in uninterruptible state;
6 months ago wenzelm 2018-12-19 tuned signature;
6 months ago wenzelm 2018-12-19 merged
6 months ago wenzelm 2018-12-19 tuned;
6 months ago haftmann 2018-12-19 tuned proof text
6 months ago haftmann 2018-12-19 tuned proof
6 months ago wenzelm 2018-12-18 more Isabelle/Haskell operations;
6 months ago wenzelm 2018-12-16 clarified signature;
6 months ago wenzelm 2018-12-16 tuned comments;
6 months ago wenzelm 2018-12-16 tuned -- more compact;
6 months ago wenzelm 2018-12-15 more Haskell operations;
6 months ago wenzelm 2018-12-14 tuned messages;
6 months ago wenzelm 2018-12-14 unused;
6 months ago wenzelm 2018-12-14 more ML antiquotations;
6 months ago wenzelm 2018-12-14 proper platform path for Windows;
6 months ago wenzelm 2018-12-14 tuned whitespace;
6 months ago wenzelm 2018-12-13 tuned signature;
6 months ago wenzelm 2018-12-13 tuned;
6 months ago wenzelm 2018-12-13 clarified UUID operations; proper check of server password;
6 months ago wenzelm 2018-12-13 clarified protocol;
6 months ago wenzelm 2018-12-13 clarified signature;
6 months ago wenzelm 2018-12-13 more Haskell operations; clarified signature;
6 months ago wenzelm 2018-12-13 tuned signature;
6 months ago wenzelm 2018-12-13 clarified signature, e.g. for re-use by other servers;
6 months ago wenzelm 2018-12-13 more Haskell operations;
6 months ago wenzelm 2018-12-13 clarified modules and signature;
6 months ago Manuel Eberl 2018-12-13 tagged more of HOL-Analysis
6 months ago wenzelm 2018-12-12 merged;
6 months ago wenzelm 2018-12-12 more Haskell operations;
6 months ago wenzelm 2018-12-12 more uniform multi-language operations; misc tuning and clarification;
6 months ago wenzelm 2018-12-12 more Haskell operations;
6 months ago wenzelm 2018-12-12 more uniform multi-language operations; misc tuning and clarification;
6 months ago wenzelm 2018-12-12 more uniform multi-language operations; clarified modules and signature;