Cross Reference: tactic_script_serializer.rb
xref
: /
ontohub
/
app
/
serializers
/
tactic_script_serializer.rb
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
History log of
/ontohub/app/serializers/tactic_script_serializer.rb
Revision
Compare
Date
Author
Comments
Expand
630833c4c3349a4e7eea5ad4469be58ec25e8a28
28-Apr-2015
Eugen Kuksa <eugenk@informatik.uni-bremen.de>
Add and use TacticScriptSerializer.
proof_attempt_serializer.rb
tactic_script_serializer.rb