2022-04-07 wenzelm clarified versions;
2022-04-09 haftmann documentation on diagnostic devices for code generation
2022-04-09 haftmann more correct language
2022-04-08 blanchet enable an E option suggested by Petar Vukmirovic
2022-04-07 desharna used HTTPS for SystemOnTPTP
2022-04-07 haftmann moved from AFP to distribution
2022-04-06 wenzelm avoid static access to sun.tools.jconsole: more robust compilation (notably with scala3), but less robust invocation;
2022-04-06 wenzelm more operations;
2022-04-06 wenzelm clarified signature;
2022-04-04 wenzelm tuned: avoid ambiguity in scala3;
2022-04-04 wenzelm clarified signature: avoid ambiguity in scala3;
2022-04-04 wenzelm clarified signature: avoid ambiguity in scala3;
2022-04-04 wenzelm more robust types (for scala3);
2022-04-04 wenzelm tuned for scala3;
2022-04-04 wenzelm proper indentation (relevant for scala3);
Loading...
(0) -30000 -10000 -3000 -1000 -300 -100 -15 +15 +100 +300 +1000 +3000 tip