Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. proper Unix line-endings;
  2. eliminated hard TABs;
  3. eliminated hard TABs;
Changeset 7547:132ef35591ca by wenzelm:
proper Unix line-endings;
The file was modified thys/Paraconsistency/Paraconsistency.thy (diff)
The file was modified thys/Paraconsistency/ROOT (diff)
Changeset 7546:e363aa606dfa by wenzelm:
eliminated hard TABs;
The file was modified thys/SPARCv8/ROOT (diff)
Changeset 7545:16753bace6fc by wenzelm:
eliminated hard TABs;
The file was modified thys/Allen_Calculus/ROOT (diff)