README_REPOSITORY
changeset 28910 5c712e46988f
parent 28908 4571302e1594
child 28913 86ed1c86e0ef
equal deleted inserted replaced
28909:40d87c73120d 28910:5c712e46988f
   175 
   175 
   176 
   176 
   177 Building Isabelle from the repository version
   177 Building Isabelle from the repository version
   178 =============================================
   178 =============================================
   179 
   179 
   180 Compared to a proper distribution (or development snapshot) the a
   180 Compared to a proper distribution or development snapshot, a
   181 repository version of Isabelle lacks proper version identifiers in
   181 repository version of Isabelle lacks proper version identifiers in
   182 various places and some components produced by Admin/build.  After
   182 various places, and some components produced by Admin/build.  After
   183 applying that script with suitable options, the regular user
   183 applying that script with suitable options, the regular user
   184 instructions for building and running Isabelle from sources apply.
   184 instructions for building and running Isabelle from sources apply.
   185 
   185 
   186 Needless to say, the results from the build process must not be
   186 Needless to say, the results from the build process must not be
   187 committed back into the repository!
   187 committed back into the repository!