Admin/mira.py
2014-07-14 noschinl 2014-07-14 mira.py: building jEdit plugin is required for makeall
2014-06-05 noschinl 2014-06-05 mira: USER_HOME must exist for building JEdit documentation
2014-06-04 noschinl 2014-06-04 set USER_HOME to affect also ISABELLE_PATH et al
2013-09-16 wenzelm 2013-09-16 updated to smlnj 110.76;
2012-12-20 noschinl 2012-12-20 tuned "use build timeout": tuples cannot be concatenated
2012-12-19 krauss 2012-12-19 use build timeout (wall clock time, default: 2h)
2012-12-19 krauss 2012-12-19 removed unused usedir_options
2012-12-19 krauss 2012-12-19 removed obsolete setting tweaks: build -s already sets output correctly
2012-12-19 krauss 2012-12-19 plain init_components calls instead of symlinks
2012-12-19 krauss 2012-12-19 tolerate non-existent ISABELLE_OUTPUT
2012-12-19 krauss 2012-12-19 removed obsolete parameter for contrib dir; hard-coding is not a problem
2012-12-19 krauss 2012-12-19 mira: do not hard-code polyml version
2012-10-11 krauss 2012-10-11 mira: discontinued special settings for lxbroy10, which are probably made obsolete by newer polyml
2012-10-10 krauss 2012-10-10 removed unused legacy material from mira.py
2012-09-06 krauss 2012-09-06 option for discarding build results, enabled in particular for Isabelle_makeall
2012-08-17 wenzelm 2012-08-17 updated to new init_components, hoping that mira can digest that;
2012-08-12 krauss 2012-08-12 restored ISABELLE_OUTPUT etc -- still relevant at least for mira.py itself
2012-08-12 krauss 2012-08-12 fixed mira.py (cf. fd50596bf78b)
2012-08-12 krauss 2012-08-12 reduced settings patching
2012-08-12 krauss 2012-08-12 removed obsolete configuration AFP_images
2012-08-06 wenzelm 2012-08-06 removed leftover from 89cc3dfb383b, hoping that mira digests it;
2012-08-06 wenzelm 2012-08-06 discontinued presumably obsolete attempts at doc-src testing (cf. 3b02b0ef8d48, 89cc3dfb383b);
2012-08-05 krauss 2012-08-05 fixed mira.py (cf. fe611991427a)
2012-08-05 krauss 2012-08-05 corrected session name
2012-08-05 krauss 2012-08-05 removed obsolete mira configurations -- covered by AFP_images
2012-08-05 krauss 2012-08-05 modernized mira configurations, making use of isabelle build
2012-08-05 krauss 2012-08-05 removed mira configurations related to old importer
2012-07-23 wenzelm 2012-07-23 updated smlnj settings;
2012-07-05 wenzelm 2012-07-05 more explicit directory structure Admin/Release/; updated to Admin/components;
2012-07-03 haftmann 2012-07-03 prefer hook in Admin/ to initialize components
2012-07-03 haftmann 2012-07-03 corrected: avoid shadowing of variable
2012-06-27 haftmann 2012-06-27 corrected name of components file
2012-06-23 haftmann 2012-06-23 more standard filename for common components
2012-05-09 bulwahn 2012-05-09 build Pure_64 with new settings
2012-05-09 bulwahn 2012-05-09 tuned
2012-05-09 bulwahn 2012-05-09 playing around with mira settings
2012-04-25 wenzelm 2012-04-25 ISABELLE_JDK_HOME is already provided by isatest shell environment;
2012-04-01 krauss 2012-04-01 adapted Mira configuration to dd04c8173bb2.
2012-03-29 haftmann 2012-03-29 educated guess to include jdk
2012-03-14 haftmann 2012-03-14 rudimentary documentation test
2012-03-14 haftmann 2012-03-14 rudimentary distribution build configuration
2012-01-12 wenzelm 2012-01-12 more modest settings for lxbroy10 -- might actually perform better;
2011-10-18 krauss 2011-10-18 mira: collect size of heap images
2011-10-16 krauss 2011-10-16 mira configuration: use official polyml 5.4.1 on lxbroy10
2011-07-19 krauss 2011-07-19 the HOL4PROOFS setting is actually HOL4_PROOFS
2011-07-19 krauss 2011-07-19 forgotten qualifier
2011-07-18 krauss 2011-07-18 added experimental mira configuration for HOL Light importer
2011-07-06 krauss 2011-07-06 64bit versions of some mira configurations
2011-07-06 krauss 2011-07-06 removed unused mira configuration
2011-06-09 bulwahn 2011-06-09 adding ISABELLE_GHC environment setting to mira configuration isabelle makeall all on lxbroy10
2011-06-03 bulwahn 2011-06-03 changing the mira setting again for the mutabelle configuration
2011-06-03 bulwahn 2011-06-03 adding more settings to mira's mutabelle configuration
2011-05-22 krauss 2011-05-22 reverted 7fdd8d4908dc -- keeping images from Isabelle_makeall would be too expensive
2011-05-16 krauss 2011-05-16 less fine-grained mira dependencies
2011-05-16 krauss 2011-05-16 mira hack for special settings on lxbroy10
2011-05-16 krauss 2011-05-16 no dependencies for Isabelle_makeall, which will be built in one go
2011-05-16 krauss 2011-05-16 clarified handling of ISABELLE_USEDIR_OPTIONS in mira
2011-04-26 krauss 2011-04-26 mutabelle reports: parse results out of log file
2011-04-18 krauss 2011-04-18 scheduler for Mutabelle regression
2011-04-18 krauss 2011-04-18 tool for importing nightly isatest logs