Cross Reference: 20150805104332_add_provable_to_theorems.rb
xref: /ontohub/db/migrate/20150805104332_add_provable_to_theorems.rb
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
9bcd2b68914ea7b2fe7e356ad64cdaca04561e98Eugen Kuksaclass AddProvableToTheorems < ActiveRecord::Migration
9bcd2b68914ea7b2fe7e356ad64cdaca04561e98Eugen Kuksa def change
9bcd2b68914ea7b2fe7e356ad64cdaca04561e98Eugen Kuksa add_column :sentences, :provable, :boolean, default: false, null: false
9bcd2b68914ea7b2fe7e356ad64cdaca04561e98Eugen Kuksa end
9bcd2b68914ea7b2fe7e356ad64cdaca04561e98Eugen Kuksaend

Indexes created Tue Jul 24 14:28:13 CEST 2018