Cross Reference: 20150715081870_create_sine_symbol_axiom_triggers.rb
xref
: /
ontohub
/
db
/
migrate
/
20150715081870_create_sine_symbol_axiom_triggers.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
History log of
/ontohub/db/migrate/20150715081870_create_sine_symbol_axiom_triggers.rb
Revision
Compare
Date
Author
Comments
Expand
dea7bd6472ff9885a84db0566c3372c85575c656
10-Aug-2015
Eugen Kuksa <eugenk@informatik.uni-bremen.de>
Change migration versions to be AFTER the squash of 5209aabed1cfab0cc50191842f487d91ac71c4d6.
20150715081850_add_finished_attribute_to_axiom_selections.rb
20150715081860_create_sine_axiom_selections.rb
20150715081870_create_sine_symbol_axiom_triggers.rb
20150715081880_create_sine_symbol_commonnesses.rb
20150715081890_remove_goals_from_proof_attempt_configuration.rb