local system = require 'pandoc.system'
package.path = package.path .. ';' .. '/home/dzack/.pandoc/filters/?.lua;'
require "utilities"

function debug_print(some_str)
  myf = io.open("/home/zack/lua_filters.log", "a")
  io.output(myf)
  io.write(some_str)
  io.write("\n")
  io.close(myf)
end
debug_print("Starting")

function Div(el)
  debug_print("Is proof? " .. tostring( has_value(el.classes, "proof")))
  debug_print("Hide proofs?" .. tostring( hide_proofs))
  debug_print("Kill proofs?" .. tostring( kill_proofs))
  debug_print("Is solution? " .. tostring( has_value(el.classes, "solution")))
  if not ( 
    has_value(el.classes, "solution") 
    or has_value(el.classes, "proof") 
    or has_value(el.classes, "strategy")
    or has_value(el.classes, "concept")
  ) then
    return el
  end
  return pandoc.Str('')
  --return pandoc.RawBlock('html','')
end