isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 tip

more operations;
24 months ago, by wenzelm
obsolete (see also d547173212d2);
24 months ago, by wenzelm
clarified names to emphasize suble differences in meaning;
24 months ago, by wenzelm
prefer high-level Other_Isabelle.bash over low-level SSH.execute;
24 months ago, by wenzelm
unused (see 378bb7a739c3);
24 months ago, by wenzelm
more options to manage resolved components;
24 months ago, by wenzelm
proper use of current ISABELLE_COMPONENT_REPOSITORY from the managing Isabelle system (amending 3e963d68d394);
24 months ago, by wenzelm
tuned comments;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
clarified signature: more explicit types;
24 months ago, by wenzelm
more operations;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
clarified signature: more robust field_scale;
24 months ago, by wenzelm
clarified signature: more explicit types;
24 months ago, by wenzelm
clarified signature;
24 months ago, by wenzelm
tuned;
24 months ago, by wenzelm
support units, e.g. java.lang.Long.MAX_VALUE is 8 EiB;
24 months ago, by wenzelm
more explicit types;
24 months ago, by wenzelm
prefer typed/strict operations;
24 months ago, by wenzelm
tuned message;
24 months ago, by wenzelm
prefer strict operation: java.io.File.length returns 0 for non-existent file;
24 months ago, by wenzelm
prefer typed bytes count, but retain toString of original Long for robustness of Java/Scala string composition;
24 months ago, by wenzelm
back to Scala 3.2.0 for now, since 3.2.1 causes odd crash of REPL concerning value classes (e.g. "isabelle.Time.now()");
24 months ago, by wenzelm
Restored antiquotation.
24 months ago, by haftmann

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -50 -24 +24 +50 +100 +300 +1000 +3000 tip

isabelle