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