1. 16 mar., 2016 1 validation
  2. 11 mar., 2016 1 validation
  3. 10 mar., 2016 1 validation
  4. 09 mar., 2016 1 validation
  5. 06 mar., 2016 3 validations
  6. 05 mar., 2016 4 validations
  7. 01 mar., 2016 1 validation
  8. 23 mai, 2013 1 validation
  9. 05 nov., 2011 1 validation
  10. 23 oct., 2011 1 validation
  11. 17 oct., 2011 1 validation
  12. 11 oct., 2011 1 validation
  13. 10 oct., 2011 2 validations
  14. 09 oct., 2011 1 validation
  15. 07 oct., 2011 2 validations
  16. 06 oct., 2011 1 validation
  17. 05 oct., 2011 5 validations
  18. 04 oct., 2011 7 validations
  19. 15 sept., 2011 1 validation
  20. 12 sept., 2011 1 validation
  21. 28 août, 2011 1 validation
  22. 13 jan., 2008 1 validation
  23. 13 juil., 2007 1 validation
    • spottedMetal's avatar
      Added functions variables, test_ask. · 551af9ab
      spottedMetal a écrit
      Corrected doctests for standardize_apart.
      
      Preliminary doctest examples for fol_bc_ask.
      
      Corrected error in the 'literals' function.
      
      In class FolKB, added doctest examples; added definition
      of method ask_generator.
      
      Added functions pretty, pretty_dict, pretty_set, pp;
      redefined ppdict, ppset, using pretty_dict and pretty_set.
      
      Cleaned up code, simplifying statements and comments.
      551af9ab