Changes between Version 14 and Version 15 of Commentary/Compiler/RecompilationAvoidance


Ignore:
Timestamp:
Jun 20, 2008 1:40:26 PM (7 years ago)
Author:
simonmar
Comment:

add note about fixities

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/RecompilationAvoidance

    v14 v15  
    404404of every entity in the group changes. 
    405405 
     406=== Fixities === 
     407 
     408We include the fixity of an entity when computing its fingerprint. 
     409 
    406410=== Instances === 
    407411