Skip to content
Failed

Changes

Summary

  1. more robust: avoid NPE due to odd problems with object initialization;
  2. RDF meta data for AFP entries; tuned;
  3. more strict AFP properties;
  4. tuned signature;
  5. clarified signature;
  6. proper treatment of empty extra lines (amending 98a440cfbb2b);
  7. clarified signature: explicitly typed interfaces;
  8. provide maintainers as seen in AFP/admin; suppress empty properties;
  9. tuned;
  10. tuned signature;
  11. read AFP metadata for entries;
Changeset 69983:4ce5ce3a612b by wenzelm:
more robust: avoid NPE due to odd problems with object initialization;
The file was modified src/Pure/General/rdf.scala (diff)
Changeset 69982:f150253cb201 by wenzelm:
RDF meta data for AFP entries;<br>tuned;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/General/rdf.scala (diff)
Changeset 69981:3dced198b9ec by wenzelm:
more strict AFP properties;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 69980:f2e3adfd916f by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/build_log.scala (diff)
The file was modified src/Pure/Admin/jenkins.scala (diff)
The file was modified src/Pure/General/date.scala (diff)
The file was modified src/Pure/General/sql.scala (diff)
Changeset 69979:4744e75393d9 by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 69978:4ecdd3eaec04 by wenzelm:
proper treatment of empty extra lines (amending 98a440cfbb2b);
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 69977:3c166df11085 by wenzelm:
clarified signature: explicitly typed interfaces;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 69976:98a440cfbb2b by wenzelm:
provide maintainers as seen in AFP/admin;<br>suppress empty properties;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 69975:35cc58a54ffc by wenzelm:
tuned;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 69974:916726680a66 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/afp.scala (diff)
Changeset 69973:a3e3be17dca5 by wenzelm:
read AFP metadata for entries;
The file was modified src/Pure/Admin/afp.scala (diff)