HomeIsabelle/Phabricator
Authored by paulson.

Description

merged

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
995fe5877d53wenzelm
tuned declarations for more compact proof terms; 
Nov 7 2019
45a1fcee14a0wenzelm
prefer named facts; 
Nov 7 2019
64249a83bc29wenzelm
clarified contexts; 
Nov 7 2019
e06852132c1dwenzelm
tuned messages; 
Nov 7 2019
5bb2235d843dwenzelm
clarified command-line; 
Nov 7 2019
41b6ca223500wenzelm
tuned messages; 
Nov 7 2019
8ac137c65776wenzelm
tuned messages; 
Nov 7 2019
70205e023cb4wenzelm
more messages -- expose potential database problems; 
Nov 7 2019
324c40205fc8wenzelm
clarified errors: include stdout; 
Nov 7 2019
d61fd7aade69wenzelm
clarified directory; 
Nov 7 2019
22fcdadc404dwenzelm
tuned; 
Nov 7 2019
9ce299019d21wenzelm
tuned message; 
Nov 7 2019
79b89278b825wenzelm
clarified permissions; 
Nov 7 2019
9314a4cc84eawenzelm
merged 
Nov 6 2019
510b89906d86wenzelm
discontinued somewhat pointless Isabelle options: setup implicitly assumes… 
Nov 6 2019
67cbf2e52785wenzelm
unused; 
Nov 6 2019
114db2b5a5f8wenzelm
support for Phabricator mail configuration; 
Nov 6 2019
98ac9a4323a2traytel
merged 
Nov 6 2019
c9c1a64eeb69traytel
corrected typo in lemma name 
Nov 6 2019
d628bbdce79anipkow
moved lemma 
Nov 6 2019
b3956a37c994traytel
merged 
Nov 6 2019
1d19e844fa4dtraytel
characterization of until in terms of strong until (and vice versa)… 
Nov 6 2019