|
.. |
2016-07-19 14:01:20 |
8 |
|
20150715081827_init_schema.rb |
2015-08-05 09:59:01 |
49.6 KiB |
|
20150715081850_add_finished_attribute_to_axiom_selections.rb |
2015-08-10 00:44:20 |
157 |
|
20150715081860_create_sine_axiom_selections.rb |
2015-08-10 00:44:20 |
248 |
|
20150715081870_create_sine_symbol_axiom_triggers.rb |
2015-08-10 00:44:20 |
854 |
|
20150715081880_create_sine_symbol_commonnesses.rb |
2015-08-10 00:44:20 |
524 |
|
20150715081890_remove_goals_from_proof_attempt_configuration.rb |
2015-08-10 00:44:20 |
656 |
|
20150805075102_add_file_extension_p.rb |
2015-08-05 00:31:52 |
334 |
|
20150805104332_add_provable_to_theorems.rb |
2015-09-14 10:35:54 |
153 |
|
20150806044907_remove_basic_proof_model.rb |
2015-08-06 06:58:24 |
1.4 KiB |
|
20150807083608_add_hets_instance_load_balancing_attributes.rb |
2015-08-08 09:29:57 |
296 |
|
20151022144003_add_index_on_sine_commonness.rb |
2015-10-22 16:47:07 |
470 |
|
20151024151554_remove_structured_proofs.rb |
2015-11-06 09:20:36 |
1.4 KiB |
|
20160110133823_change_proof_status_from_loc_id_to_slug_routing.rb |
2016-04-22 10:50:02 |
899 |
|
20160110133824_create_loc_ids.rb |
2016-07-01 00:12:38 |
364 |
|
20160310132618_enter_name_for_mappings.rb |
2016-07-01 00:12:38 |
464 |
|
20160310132619_create_missing_locids.rb |
2016-07-01 00:12:38 |
1 KiB |
|
20160310132620_move_loc_id_to_own_model.rb |
2016-07-01 00:12:38 |
1.8 KiB |
|
20160614065105_add_association_from_commit_to_user.rb |
2016-07-19 09:26:38 |
3.4 KiB |
|
20160719104019_index_locid_specifics.rb |
2016-07-19 14:01:20 |
247 |