2012-07-23 | wenzelm | clarified init_component: always liberal; | file | diff | annotate |
2012-06-28 | haftmann | no ml-platform-specific components | file | diff | annotate |
2012-06-26 | haftmann | prefer stderr for warnings | file | diff | annotate |
2012-06-26 | haftmann | support for platform-specific components | file | diff | annotate |
2012-06-26 | haftmann | correction: proper initialization of existing component | file | diff | annotate |
2012-06-26 | haftmann | snippet to be sourced in user settings file in order to initialize components for a repository revision; | file | diff | annotate |